Real-Time Systems Hardback: Formal Specification and Automatic Verification - Hardcover

Olderog; Dierks

 
9780521883337: Real-Time Systems Hardback: Formal Specification and Automatic Verification
Hardcover
ISBN 10: 0521883334 ISBN 13: 9780521883337
Verlag: Cambridge University Press, 2008

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

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).

H. Dierks is a researcher currently working with OFFIS, a technology transfer institute for computer science in Oldenburg, Germany.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
0521883334
ISBN 13 
9780521883337
Einband
Tapa dura
Auflage
1
Anzahl der Seiten
344
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich