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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 338
• Erscheinungstermin: 11. September 2008
• Englisch
• Abmessung: 250mm x 175mm x 23mm
• Gewicht: 764g
• 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.