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