Real-Time Systems: Formal Specification and Automatic Verification

E.-R. Olderog

ISBN 10: 0521883334 / ISBN 13: 9780521883337

Editore: Cambridge University Press, 2008

Riguardo questo articolo

Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Codice articolo M00521883334-V

Dati bibliografici

• Titolo: Real-Time Systems: Formal Specification and Automatic Verification
• Editore: Cambridge University Press
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 0521883334
• ISBN 13: 9780521883337
• Rilegatura: Rilegato
• Condizione: very good

Descrizione articolo

Riassunto

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

Informazioni sugli autori

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.