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

Olderog; Dierks

 
9780521883337: Real-Time Systems Hardback: Formal Specification and Automatic Verification

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.