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


Production Cell Finite Automaton Control Software Rotary Table Finite State Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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 Berlin Heidelberg 1995

Authors and Affiliations

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

Personalised recommendations