REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION

Ernst-Rüdiger Olderog

ISBN 10: 0521883334 / ISBN 13: 9780521883337

Verlag: Cambridge University Press, 2008

Beschreibung

New. US edition. Excellent Customer Service.

Bestandsnummer des Verkäufers ABEJUNE24-108182

Bibliografische Details

• Titel: REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
• Verlag: Cambridge University Press
• Veröffentlichungsdatum: 2008
• Sprache: Englisch
• ISBN-10: 0521883334
• ISBN-13: 9780521883337
• Bindung: Hardcover
• Zustand: Brand New

Über diesen Titel

Inhaltsangabe

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

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