Benutzer: Gast  Login
Autor(en):
Weissmann, Markus; Bedenk, Stefan; Buckl, Christian; Knoll, Alois 
Titel:
Model Checking Industrial Robot Systems 
Stichworte:
model checking, abstract interpretation, industrial robots, distributed systems, robotics 
Kongress- / Buchtitel:
Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011) 
Verlag / Institution:
Springer 
Jahr:
2011 
Seiten:
161--176 
Serientitel:
LNCS