Concepedia
Statistics
Publications
2
Citations
59
H-Index
Active since
2015
Affiliations
UCLouvain(Current)
Christophe Limbrée is an author at UCLouvain specializing in safety engineering, interlocking systems, and model checking.
Publications per year
2015–2017
Verification of Interlocking Systems Using Statistical Model Checking
Quentin Cappart, Christophe Limbrée, Pierre Schaus et al. · 2017 · 31 citations · Full text
Engineering, Computer Science, Systems Engineering +17
Verification of railway interlocking systems
Simon Busard, Quentin Cappart, Christophe Limbrée et al. · Electronic Proceedings in Theoretical Computer Science · 2015 · 28 citations · Full text
1–2 of 2