Login / Signup
M. Jourdant
Publication Activity (10 Years)
Years Active: 1999-1999
Publications (10 Years): 0
</>
Publications
</>
Konstantinos Kapellos
,
Daniel Simon
,
M. Jourdant
,
Bernard Espiau
Task level specification and formal verification of robotics control systems: state of the art and case study.
Int. J. Syst. Sci.
30 (11) (1999)