Fr Boulanger is an author at Supélec specializing in formal verification, simulation, and automated reasoning.
Top concepts
SimulationEngineeringVerificationFormal MethodsComplex SystemsSoftware DesignComputer ScienceAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2008–2008
1
1
Simulation of Multi-Formalism Models with ModHel'X
Fr Boulanger, Cécile Hardebolle · 2008 · 29 citations
Rows per page
1–1 of 1