Real-Time Systems: Formal Specification and Automatic Verification - Couverture rigide

Olderog, Ernst-Rüdiger; Dierks, Henning

 
9780521883337: Real-Time Systems: Formal Specification and Automatic Verification
Couverture rigide
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Editeur : Cambridge University Press, 2008

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos des auteurs

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
2008
Langue
anglais
ISBN 10 
0521883334
ISBN 13 
9780521883337
Reliure
Relié
Numéro d'édition
1
Nombre de pages
344
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France