Rigorous design of robot software: A formal component-based...

Robotics and Autonomous Systems 2012 Vol. 60; Iss. 12

Rigorous design of robot software: A formal component-based approach

Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Felix Ingrand
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
60
Year:
2012
Language:
english
Journal:
Robotics and Autonomous Systems
DOI:
10.1016/j.robot.2012.09.005
File:
PDF, 2.10 MB
english, 2012
Conversion to is in progress
Conversion to is failed