Thierry Lecomte

No bio available. Add one in Open Library.

Books by Thierry Lecomte (50 max)

+ shelf+ list

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2016

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

+ shelf+ list

Formal Methods : Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2016

Leila Ribeiro, Thierry Lecomte