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: 2009 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC), IEEE, doi: 10.1109/compsac.2009.89.
Faculty/Chair:
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
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
URI:
Activation date:
July 25, 2024

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/96723