Model Checking Industrial Robot Systems

Title:: Model Checking Industrial Robot Systems
Author(s):: Weissmann, Markus; Bedenk, Stefan; Buckl, Christian; Knoll, Alois
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

Occurrences: