Mohamed-Emine Laarouchi is an author at Institut Mines-Télécom specializing in formal methods, automation, and formal specification.
Top concepts
AutomationEngineeringFormal MethodsSoftware DesignComputer ScienceBehavior AnalysisSoftware AnalysisFormal VerificationSystems EngineeringFormal Specification
Publications per year
2019–2019
1
1
Rows per page
1–1 of 1