Statistics
Publications
4
Citations
256
H-Index
4
Active since
2007
Affiliations
United Technologies Research Center(Current)
Thierry Lecomte is an author at United Technologies Research Center specializing in systems engineering, formal methods, and engineering.
Publications per year
2007–2024
4
4
Maurice H. ter Beek, Roderick Chapman, Rance Cleaveland et al. · Formal Aspects of Computing · 2024 · 66 citations · Full text
Formal Methods in Safety-Critical Railway Systems
Thierry Lecomte, thierry servat · 2007 · 52 citations
1–4 of 4