1
Publications
40
Citations
1
H-Index
2006
Active since
Affiliations
Jean-Jaques Lesage is an author at École Normale Supérieure Paris-Saclay specializing in systems engineering, formal verification, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsProcess ControlAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2006–2006
1
1
LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL
José Machado, Bruno Denis, Jean-Jaques Lesage et al. · IFAC Proceedings Volumes · 2006 · 40 citations
Rows per page
1–1 of 1