Maxime Perrotin is an author at Télécom Paris specializing in formal methods, computer engineering, and system software.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisSpace EngineeringFormal VerificationSystem-level DesignSystems Engineering
Publications per year
2008–2008
1
1
Rows per page
1–1 of 1