Formale Methoden in Industriellen Anwendungen

• Jan Peleska and Bettina Buth
  Formal Methods for the International Space Station ISS.
  In E.-R. Olderog, B. Steffen (Eds.): Correct System Design, Springer LNCS 1710, pp. 363-389, 1999.
  
  
• Bettina Buth and Jan Peleska
  Combining Methods for the Analysis of the International Space Station ISS.
  Vortrag zum ProCoS-Working Group meeting, FM'99, (auf CDrom).
  
  
• Bettina Buth and Michael Schrönen
  Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems.
  (Abstrakt für Industrial Experience Discussion).
  In J. Wing, J. Woodcock, J. Davis (Eds.): FM'99, Vol. II, Springer LNCS 1709, p. 1869, 1999.
  
  
• Bettina Buth, Jan Peleska and Hui Shi
  Combining Methods for the Analysis of a Fault-Tolerant System.
  Proceedings of Quality Week '99, May 1999 (published on CDrom).
  
  
• Bettina Buth, Jan Peleska and Hui Shi:
  Combining Methods for the Livelock Analysis of a Fault-Tolerant System.
  In A. M. Haeberer (Ed.): Algebraic Methodology and Software Technology. Proceedings of the 7th International Conference, AMAST 98, Amazonia, Brazil, January 1999. Springer LNCS 1548, pp. 124-139, 1998.
  
  
• Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi:
  Deadlock Analysis for a Fault-Tolerant System.
  In Michael Johnson (Ed.): Algebraic Methodology and Software Technology. Proceedings of the AMAST'97, Sidney, Australia, December 1997, Springer LNCS 1349 (1997), 60-75.
  
  
• Bettina Buth, Rachel Cardell-Oliver and Jan Peleska:
  Combining Tools for the Verification of Fault-Tolerant Systems.
  Published in B. Buth, R. Berghammer and J. Peleska (Eds.): Tools for System Development and Verification, pp. 41-69. Shaker Verlag, Aachen 1998, ISBN 3-8265-3806-4.
  
  

 
	 Dr. Bettina Buth
         FB 3 -- Informatik 
         Universität Bremen
         Postfach 330 440
         D-28334 Bremen
         Germany
Room:    MZH 8050
Phone:   +49 421 218 - 29 55
E-mail:  bb@informatik.uni-bremen.de