Ernst-Rüdiger Olderog, Henning Dierks

Real-Time Systems

• Gebundenes Buch

Produktbeschreibung

Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 338
• Erscheinungstermin: 11. September 2008
• Englisch
• Abmessung: 250mm x 175mm x 23mm
• Gewicht: 766g
• ISBN-13: 9780521883337
• ISBN-10: 0521883334
• Artikelnr.: 25428255

Autorenporträt

E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).

Inhaltsangabe

Preface
1. Introduction
2. Duration calculus
3. Properties and subsets of DC
4. Timed automata
5. PLC-automata
6 Automatic verification
Appendix
Notations
Bibliography
Index.