Accueil | Actualités B | La Méthode B | Travaux R&D | Preuve Formelle | Publications | Conférences | B, les différents langages | Projets Open Source | Outils B | Documents | Liens | Contact  

---

Publications

SOMMAIRE

• Publications de Clearsy
• Comités de Programmes
• Publications des Collaborateurs de ClearSy

Publications des Collaborateurs de ClearSy - Denis SABATIER

2008

• Denis Sabatier (ClearSy) - Brice Dellandrea (Thales), David Chemouil (CNES)
  FDIR Strategy Validation with the B Method
  DASIA 2008
  Télécharger l'Article

2005

• D. Sabatier, G. Hacken, S. Georgiadis, E. Cutright, N. Gahly, N Khalil
  "Safe Software" Need Not Be an Oxymoron
  CBTC NY
  Accéder à l'article