Login
- Author(s):
- Weissmann, Markus; Bedenk, Stefan; Buckl, Christian; Knoll, Alois
- Title:
- Model Checking Industrial Robot Systems
- Keywords:
- model checking, abstract interpretation, industrial robots, distributed systems, robotics
- Book / Congress title:
- Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011)
- Publisher:
- Springer
- Year:
- 2011
- Pages:
- 161--176
- Bookseries title:
- LNCS
- Fulltext / DOI:
- doi:10.1007/978-3-642-22306-8_11
BibTeX