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
• Program Committees
• ClearSy Employee Publications

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...