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...
Actualités
Validation / génération de données
La validation et la génération de données constantes sont devenus des thèmes importants dans le monde ferroviaire, pour démontrer la sécurité d'un système...
BWare: preuve automatique d’obligations de preuve B
BWare est un projet de R&D qui a démarré en Septembre 2012, pour une durée de 4 ans. Il est financé par l'ANR dans le cadre du programme "Ingénierie...
Journées sur la fiabilité du Logiciel – 14 & 15 juin 2012
Les Journées sur la Fiabilité du Logiciel, organisées les 14 et 15 Juin 2012 par l'Initiative de Recherche et Innovation sur le Logiciel Libre et le Groupe...
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...