2
Publications
32
Citations
2
H-Index
2005
Active since
Affiliations
National Institute of Transport(Current)
Jérôme Rocheteau is an author at National Institute of Transport specializing in system software, formal specification, and engineering.
Top concepts
DesignEngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceData IntegrationProgram AnalysisSoftware Testing
Publications per year
2005–2011
2
2
Rows per page
1–2 of 2