The validation and implementation of real-time robotics systems using Cleopatra object-oriented physically-correct specifications
1998 ◽
Vol 08
(01)
◽
pp. 97-114
◽
Keyword(s):
Keyword(s):
2001 ◽
Vol 11
(1)
◽
pp. 472-479
Keyword(s):
Keyword(s):