search result

Cover von Operation refinement proofs for VDM-like specifications
Author: Buth, Bettina Search for this author
Year: 1995
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9501
Media group: DISSERTATION
Cover von Formal and semi-formal methods for the analysis of industrial control systems
Author: Buth, Bettina Search for this author
Year: 2001
Publisher: Bremen, Univ.
Series: BISS monographs; 15
Media group: DISSERTATION
Cover von Computer Safety, Reliability, and Security
28th International Conference, Hamburg, Germany, September 15 - 18, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5775
Media group: MONOGRAPHIE
Cover von Tools for system development and verification
workshop, proceedings, Bremen, Germany, July 1996
Search for this author
Year: 1998
Publisher: Aachen, Shaker
Series: BISS monographs; 1
Media group: MONOGRAPHIE
OPEN V 11.1.0.0