Home | B News | B Method | R&D Activities | Formal Proof | Publications | Conferences | B, the different languages | Open Source Projects | B Tools | Documents | Links | Contact

Publications

SUMMARY

ClearSy Publications - Thierry LECOMTE

Articles
  • T. Lecomte
    "Safe and Reliable Metro Platform Screen Doors Control/Command Systems"
    FM 2008, Finland
    Download the article...
  • T. Lecomte, T. Servat, G. Pouzancre
    "Formal Methods in Satefy Critical Railway Systems"
    Conférence SBMF 2007, Brésil
    Download the article...