1
Publications
11
Citations
1
H-Index
1999
Active since
M. Jourdant is an author specializing in formal verification, robotics, and formal methods.
Top concepts
RoboticsAutomationEngineeringVerificationRobot ControlRobot SystemsFormal MethodsControl SystemsComputer ScienceFormal Verification
Publications per year
1999–1999
1
1
Rows per page
1–1 of 1