ForschungPublikationen
Physical Safety in Robotics, In Drechsler, R., Kühne, U. (Eds.): Formal Modeling and Verification of Cyber-Physical Systems, pp. 249-271

Physical Safety in Robotics, In Drechsler, R., Kühne, U. (Eds.): Formal Modeling and Verification of Cyber-Physical Systems, pp. 249-271

Kategorien Buchkapitel
Jahr 2015
Autoren Haddadin, S.
Veröffentlicht in Springer Lecture Notes in Computer Science, to be published
DOI 10.1007/978-3-658-09994-7_9