http://www.methode-b.com Actualité sur la Méthode B, présentation des différents travaux et sujets de réflexion de ClearSy sur la méthode B. http://www.fersil.fr/images/clearsy_texte.gif http://www.methode_b.com http://www.methode-b.com/html/actualite_methode_b_fr.php DASIA 2008 ClearSy participera au colloque DASIA 2008 (DAta Systems In Aerospace) qui se tiendra du 27 au 30 mai 2008. Pour en savoir plus sur ces journées, rendez-vous sur... Tue 08 Apr 2008 11:53:00 GMT http://www.methode-b.com/html/actualite_methode_b_fr.php FM 2008 Formal Methods Europe organise du 26 au 30 mai 2008, un colloque international consacré aux méthodes formelles. Cet événement fera le point sur les dernières évolutions techniques de ces méthodes, et présentera de nouveaux outils formels... Tue 08 Apr 2008 11:53:00 GMT http://www.methode-b.com/html/actualite_methode_b_fr.php Conférence Nantes L'université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville de Nantes... Mon 11 Jan 2008 11:11:00 GMT http://www.methode-b.com/html/actualite_methode_b_fr.php ABZ 2008 La conférence ABZ 2008 a pour objectif de réunir les communautés B, Z et ASM. Elle sera organisée autour d'une journée commune et de 2 journées propres à chaque communauté... Tue, 11 Feb 2008 10:59:00 GMT