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