CLEARSY a participé au séminaire "Integration of Tools for Rigorous Software Construction and Analysis" (n° 13372), organisé à Dagstuhl (Allemagne) du 8 au 13...
Conférences
Utilisation de la preuve formelle système pour garantir le nouveau CBTC de la ligne 7 (flushing) de New York
L'utilisation de la preuve formelle système pour garantir le nouveau CBTC de la ligne 7 (Flushing) de New York a été présentée à l'occasion d'une conférence...
Event B 2012: Workshop on the experience of and advances in developing dependable systems in Event B
CLEARSY a participé à un workshop sur le B évènementiel (event B) à Kyoto au Japon le 13 novembre 2012, dans le cadre de la conférence ICFEM 2012. CLEARSY y a...
Conférence sur les méthodes formelles à l’Institut Aéronautique et Spaciale
Le pôle Aérospace Valley (DAS Systèmes Embarqués), avec le soutien du thème ISFE du RTRA AE/SE, a mis en place un cycle de de conférences techniques sur les...
AI4FM 2011
CLEARSY participe au workshop AI4FM 2011, qui aura lieu les 28 et 29 Avril 2011 à l'université d'Edinburgh. L'objectif du projet AI4FM est d'introduire des...
FM2011 Industry Day
CLEARSY a le plaisir de vous annoncer sa participation à l'Industry Day de FM2011, le 17ème symposium international dédié aux méthodes formelles qui se...