Toward the Design of Robotic Software with Verifiable Safety

Titel:: Toward the Design of Robotic Software with Verifiable Safety
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Cheng, Chih-Hong; Rickert, Markus; Buckl, Christian; Lee, EdwardA.; Knoll, Alois
Stichworte:: embedded
Kongress- / Buchtitel:: Proceedings of the IEEE International Computer Software and Applications Conference (COMPSAC)
Jahr:: 2009
Monat:: Jul
Seiten:: 622--623
Volltext / DOI:: doi:10.1109/COMPSAC.2009.89
BibTeX

Vorkommen: