Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details
 
Publication type: Article in Proceedings
Author: A. Lankenau, O. Meyer
Title: Formal Methods in Robotics: Fault Tree Based Verification
Book / Collection title: Proc. of Quality Week Europe
Year published: 1999
PostScript Version: http://www.informatik.uni-bremen.de/kogrob/papers/qwe99.ps.gz
Keywords: robotics safety
Status: Reviewed
Last updated: 03. 02. 2003

 Back to result list
  
   
Author: Automatically generated page 		 
  Group BKB 
Last updated: May 9, 2023   impressum