Statistics
Publications
1
Citations
30
H-Index
1
Active since
2003
Affiliations
Alstom (France)(Current)
M. Carnot is an author at Alstom (France) specializing in deductive verification, safety-critical software, and safety engineering.
Publications per year
2003–2003
1
1
Error-free software development for critical systems using the B-Methodology
M. Carnot, Clara DaSilva, Babak Dehbonei et al. · 2003 · 30 citations
1–1 of 1