|
|
|
|
The VASY team has been involved in several collaborations with Bull, most of which started in the framework of Dyade (1996-2001), a joint venture for advanced research between Bull and INRIA.
These collaborations are the following:
The Dyade/FormalFame action (1998-2001), followed by the FormalFame (2001-2004) and FormalFame Plus (2004-2007) projects between Bull and INRIA (1998-2007),
The Dyade/Vasy action between Bull and INRIA (1995-1998),
The Dyade/FormalCard action between Bull SmartCards and INRIA (2000-2001).
Back to the VASY Home Page