5
Publications
120
Citations
5
H-Index
2000
Active since
Affiliations
Jérôme Delatour is an author at Météo-France specializing in formal methods, system software, and program analysis.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisSystems EngineeringSoftware EngineeringEmbedded Systems
Publications per year
2000–2020
5
5
Designing, animating, and verifying partial UML Models
Frédéric Jouault, Valentin Besnard, Théo Le Calvar et al. · 2020 · 14 citations
Rows per page
1–5 of 5