Login
- 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)
- Congress city:
- Seattle, WA, USA
- Year:
- 2009
- Month:
- Jul
- Pages:
- 622--623
- Fulltext / DOI:
- doi:10.1109/compsac.2009.89
BibTeX