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 - Thierry LECOMTE

Articles

• T. Lecomte
  "Safe and Reliable Metro Platform Screen Doors Control/Command Systems"
  Colloque FM 2008, Finlande
  Télécharger l'article...

• T. Lecomte, T. Servat, G. Pouzancre
  "Formal Methods in Satefy Critical Railway Systems"
  Conférence SBMF 2007, Brésil
  Plus de détails sur l'article...