4
Publications
215
Citations
4
H-Index
2007
Active since
Affiliations
United Technologies Research Center(Current)
Thierry Lecomte is an author at United Technologies Research Center specializing in industrial informatics, engineering, and software analysis.
Top concepts
EngineeringIndustrial InformaticsDesignVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2007–2024
4
4
Formal Methods in Safety-Critical Railway Systems
Thierry Lecomte, thierry servat · 2007 · 52 citations
Maurice H. ter Beek, Roderick Chapman, Rance Cleaveland et al. · Formal Aspects of Computing · 2024 · 26 citations · Full text
Rows per page
1–4 of 4