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

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
Title: Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung
Book / Collection title: Software Engineering 2008
Series: Lecture Notes in Informatics
Year published: 2008
Publisher: GI
PDF Version: http://www.informatik.uni-bremen.de/~cxl/papers/softzert08.pdf
Keywords: sams
Status: Reviewed
Last updated: 13. 03. 2008

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