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

E.-R. Olderog; H. Dierks

 
9780521883337: Real-Time Systems: 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 Autorin bzw. den Autor

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

„Ü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
Gebundene Ausgabe
Auflage
1
Anzahl der Seiten
338
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland