Options
Toward the Design of Robotic Software with Verifiable Safety
Cheng, Chih-Hong; Rickert, Markus; Buckl, Christian; u. a. (2009): „Toward the Design of Robotic Software with Verifiable Safety“. In: IEEE doi: 10.1109/compsac.2009.89.
Faculty/Professorship:
Author:
Title of the compilation:
2009 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC)
Conference:
2009 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC) ; Seattle, WA, USA
Publisher Information:
Year of publication:
2009
ISBN:
978-0-7695-3726-9
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
published:
July 25, 2024
Permalink
https://fis.uni-bamberg.de/handle/uniba/96723