![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY a présenté les travaux de R&D qu’elle mène avec STMicroelectronics à la conférence B2007 ainsi que son outil de […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Le projet RIMEL (Raffinement Incrémental de Modèles événementiELs) a été retenu par l’Agence Nationale de la Recherche, dans le cadre […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY a présenté les travaux de R&D qu’elle mène avec STMicroelectronics à la conférence Same 2005 et annonce dès aujourd’hui […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Labsoc fait appel à nos travaux en matière de méthodologie UML-B dans le cadre de modélisation des systèmes d’exploitation.
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Maîtrise des risques et Sûreté de fonctionnement. Conférence Lambda Mu 15 à Lille du 9 au 12 octobre 2006 Rencontrez […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Une présentation de Coppilot a été faite dans le cadre de la conférence AFIS 2006 (Association Française d’Ingénierie Système) à […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Participation de CLEARSY à AFADL’06 (15, 16, 17 mars 2006). Démonstration d’un nouvel outil d’aide à la spécification de système […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Présentation de CLEARSY sur la vérification de Statecharts avec la méthode B.