Toward the Design of Robotic Software with Verifiable Safety

Title:: Toward the Design of Robotic Software with Verifiable Safety
Document type:: Konferenzbeitrag
Author(s):: Cheng, Chih-Hong; Rickert, Markus; Buckl, Christian; Lee, EdwardA.; Knoll, Alois
Keywords:: embedded
Book / Congress title:: Proceedings of the IEEE International Computer Software and Applications Conference (COMPSAC)
Year:: 2009
Month:: Jul
Pages:: 622--623
Fulltext / DOI:: doi:10.1109/COMPSAC.2009.89
BibTeX

Occurrences: