Old Web
English
Sign In
Acemap
>
Paper
>
Model Driven Design of Reliable Robot Control Programs Using the jABC
Model Driven Design of Reliable Robot Control Programs Using the jABC
2007
Sven Jörges
Christian Kubczak
Felix Pageau
Tiziana Margaria
Keywords:
Error detection and correction
Simulation
Proof of concept
Robot control
Service-orientation
Computer science
Autonomous robot
Formal verification
Correction
Cite
Save
Machine Reading By IdeaReader
15
References
0
Citations
NaN
KQI
[]