Introduction

  • Claus Lewerentz
  • Thomas Lindner
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 891)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    S. Austin and G. I. Parkin. Formal methods: A survey. Technical report, National Physical Laboratory, Great Britain, 1993.Google Scholar
  2. [2]
    M. Broy and S. Jähnichen, editors. Korrekte Software durch formale Methoden. Technische Universität Berlin, Franklinstraße 28–29, D-10587 Berlin, March 1993.Google Scholar
  3. [3]
    M. Löwe, F. Cornelius, J. Faulhaber, and R. Wessälly. Ein Fallbeispiel für KorSo — Das heterogene verteilte Managementsystem HDMS der Projektgruppe Medizin Informatik (PMI) am Deutschen Herzzentrum Berlin und an der TU Berlin — Ein Vorschlag. Technical Report 92–45, TU Berlin, 1992.Google Scholar

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Claus Lewerentz
    • 1
  • Thomas Lindner
    • 1
  1. 1.Forschungszentrum InformatikKarlsruhe

Personalised recommendations