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
- Volltext / DOI:
- doi:10.1007/978-3-642-22306-8_11
BibTeX