7 juin 2010, Nantes, France Présentation Le colloque "From Research to Teaching Formal Methods: the B Method" s'est déroulé à Nantes le 07 Juin 2010, à...
Actualités
Bibliographie : Jean-Raymond Abrial sort un livre dédié au B évènementiel
Le Livre de Jean-Raymond Abrial, dédié au B événementiel est disponible depuis le mois de mai 2010. Ce livre, rédigé en anglais et comprenant plus de 600...
Conférence de Nantes 2010 : “La Méthode B, de la Recherche à l’Enseignement”
L’Université de Nantes organise la 3ème édition de sa conférence, dédiée à la méthode B. Celle-ci se déroulera le 7 juin 2010, à la Cité Internationale des...
CLEARSY annonce sa participation au FMICS 2010
CLEARSY a le plaisir d'annoncer sa participation à la 15ème édition du FMICS 2010 (Formal Methods for Industrial Critical Systems) qui se déroulera du 20 au...
WOBD – Workshop on B Dissemination – Evénement satellite de SBMF 2010
8-9 Novembre 2010, Natal, Brésil Présentation Ce workshop B/event-B est organisé dans le cadre du projet DEPLOY. Il a pour objectif de présenter l’état...
CLEARSY organise un Workshop « B Dissemination Day » à Tokyo
Dans le cadre du projet DEPLOY, CLEARSY organise le workshop "B Dissemination Day". Cet événement se déroulera dans le cadre du symposium "GRACE...