|
|
Journée de Présentation de la Méthode B
AeS et ClearSy
ont organisés une journée dédiée à la méthode B, qui s'est
déroulée au Brésil.L'objectif
de cet événement consistait à présenter et promouvoir la méthode B, au
travers de différentes présentations de projets et d'outils ayant fait
appel à B.
|
| |
|
|
|
Conférence FM'2008
ClearSy
a participé à la conférence internationale sur les méthode formelle qui s'est déroulée du 28 au 30 mai 2008, à Turku en Finlande.
|
| |
|
|
|
Conférence de Nantes 2008 : La Méthode B - de la Recherche à l'Enseignement
Cette conférence porte sur la méthode B et s'est déroulée le 16 juin 2008, à la Cité Internationale des Congrès, à Nantes...
|
| |
|
|
|
Conférence B2007
B2007 est une conférence internationale portant sur le langage B, ces évolutions et ses outils associés.
|
| |
|
|
|
Conférence AFADL'06
Participation de Clearsy à AFADL'06 (15, 16, 17 mars 2006). Démonstration d'un nouvel outil d'aide à la spécification de système : CompoSys. Pour découvrir Composys...
|
