Formal development of reactive systems : case study production cell /
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1995.
|
| Series: | Lecture notes in computer science ;
891. |
| Subjects: |
Table of Contents:
- I. Introduction / Claus Lewerentz and Thomas Lindner
- II. Task Description / Thomas Lindner
- III. Comparative Survey / Claus Lewerentz and Thomas Lindner
- IV. CSL / Klaus Nokel and Klaus Winkelmann
- V. Esterel / Reinhard Budde
- VI. LUSTRE / Leszek Holenderski
- VII. Signal / Tocheou Pascalin Amagbegnon, Paul Le Guernic, Herve Marchand and Eric Rutten
- VIII. Statecharts / Werner Damm, Hardi Hungar, Peter Kelb and Rainer Schlor
- IX. TLT / Jorge Cuellar and Martin Huber
- X. SDL / Stefan Heinkel and Thomas Lindner
- XI. Focus / Max Fuchs and Jan Philipps
- XII. Spectrum / Dimitris Dranidis and Stefan Gastinger
- XIII. KIV / Gerhard Schellhorn and Axel Burandt
- XIV. Tatzelwurm / Stefan Klingenbeck and Thomas Kaufl
- XV. HTTDs and HOL / Rachel Cardell-Oliver
- XVI. RAISE / Francois Erasmy and Emil Sekerinski
- XVII. Deductive Synthesis / Jochen Burghardt
- XVIII. Symbolic Timing Diagrams / Franz Korf and Rainer Schlor
- XIX. LCM and MCM / Roel Wieringa.
- XX. Modula-3 / Andreas Ruping and Emil Sekerinski
- XXI. TROLL light / Rudolf Herzig and Nikolaos Vlachantonis
- A. Simulation / Artur Brauer and Thomas Lindner.