Séminaire sur la Méthode B

J’ai participé aujourd’hui au Séminaire francilien de sûreté de fonctionnement, à l’Ecole Centrale Paris. Ma présentation était un tutoriel sur la Méthode B, une approche formelle que j’ai beaucoup utilisée à mes débuts comme chercheur et que j’ai enseignée pendant de nombreuses années à des élèves-ingénieurs, à des étudiants de master M2, et plus récemment, à des étudiants de 2ème année du DUT Informatique. Les supports utilisés pendant ce séminaire sont disponibles ici.

Un grand merci à Antoine Rauzy pour l’invitation à ce séminaire, ainsi qu’aux participants pour leur écoute et pour leurs questions !

 

Publicités

À propos Frederic GERVAIS
Enseignant-chercheur en informatique

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s

%d blogueurs aiment cette page :