L. Gheorghe is an author at Polytechnique Montréal specializing in systems engineering, modeling and simulation, and formal methods.
Top concepts
SimulationEngineeringFormal MethodsFormal VerificationSystems EngineeringComputer EngineeringModeling And SimulationVerificationComputer ScienceDesign
Publications per year
2006–2009
4
4
Semantics for model-based validation of continuous/discrete systems
L. Gheorghe, F. Bouchhima, Gabriela Nicolescu et al. · 2008 · 14 citations
Rows per page
1–4 of 4