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

Publications Search - Details

Publication type: Article in Proceedings
Author: Dennis Walter, Holger Täubig, Christoph Lüth
Editor: Schoitsch, Erwin
Title: Experiences in Applying Formal Verification in Robotics
Book / Collection title: 29th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2010)
Volume: 6351
Page(s): 347 – 360
Series: Lecture Notes in Computer Science
Year published: 2010
Publisher: Springer
PDF Version: http://dx.doi.org/10.1007/978-3-642-15651-9_26
Status: Reviewed
Last updated: 19. 01. 2011

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum