Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht
 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: A. Lankenau, O. Meyer
Titel: Formal Methods in Robotics: Fault Tree Based Verification
Buch / Sammlungs-Titel: Proc. of Quality Week Europe
Erscheinungsjahr: 1999
PostScript Version: http://www.informatik.uni-bremen.de/kogrob/papers/qwe99.ps.gz
Schlagworte: robotics safety
Status: Reviewed
Letzte Aktualisierung: 03. 02. 2003

 Zurück zum Suchergebnis
  
   
Autor: Automatisch generierte Seite 		 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum