Real-Time Systems
Formal Specification and Automatic Verification
Olderog, Ernst-Rüdiger
Dierks, Henning
- 出版社：Cambridge University Press
- 出版年月：2008年 09月
- ISBN：9780521883337
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：344 p.
- 分類： コンピュータ一般
- DDC分類：004.33
- 内容紹介：
-
There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata.