Real-Time Systems Hardback: Formal Specification and Automatic Verification - Tapa dura

Olderog; Dierks

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

Sinopsis

An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca de los autores

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Cambridge University Press
Año de publicación
2008
Idioma
Inglés
ISBN 10 
0521883334
ISBN 13 
9780521883337
Encuadernación
Tapa dura
Número de edición
1
Número de páginas
344
Contacto del fabricante
no disponible
Persona responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia