Real-Time Systems: Formal Specification and Automatic Verification




Author: -
Type: eBook
Date Released: 2008
Format: pdf
Language: English
Page Count: 339
Isbn10 Code: 0521883334
Isbn13 Code: 9780521883337


Book Description 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. About the Author 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.

Download Real-Time Systems: Formal Specification and Automatic Verification

:Related posts


Precarious Work, Women And the New Economy: The Challenge to Legal Norms (O~nati International Series in Law and Society) , Understanding Industrial and Corporate Change , Mrs. Ted Bliss (American Literature (Dalkey Archive)) .


:Tags

Ebook Real-Time Systems: Formal Specification and Automatic Verification pdf by - download, download online book Real-Time Systems: Formal Specification and Automatic Verification epub. Download book Real-Time Systems: Formal Specification and Automatic Verification pdf, download almost free pdf Real-Time Systems: Formal Specification and Automatic Verification, download ebook Real-Time Systems: Formal Specification and Automatic Verification djvu, download book Real-Time Systems: Formal Specification and Automatic Verification chm. Ebook Real-Time Systems: Formal Specification and Automatic Verification djvu by - download, download almost free Real-Time Systems: Formal Specification and Automatic Verification, ebook Real-Time Systems: Formal Specification and Automatic Verification chm by - download, Real-Time Systems: Formal Specification and Automatic Verification torrent by - download ebook, Real-Time Systems: Formal Specification and Automatic Verification audio mp3 by - download.