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

Weitere Produkte vom selben Autor

Download
ePUB
Prisoner of war Dierk Henning Schnitzler, Klaus Michael Schnitzler

9,99 €*
Programmverifikation Olderog, Ernst-Rüdiger, Apt, Krzysztof R.

29,95 €*
Verification of Sequential and Concurrent Programs Apt, Krzysztof R., Olderog, Ernst-Rüdiger, De Boer, Frank S.

106,99 €*
Verification of Sequential and Concurrent Programs Apt, Krzysztof R., Olderog, Ernst-Rüdiger, De Boer, Frank S.

85,59 €*