Formal Modeling and Analysis of Timed Systems

• 其他作者: Cassez, Franck
• 格式: 圖書
• 語言: English
• 出版: Springer 2017
• 主題: Formal Modeling ; Temporal automata; Timed Systems; Computer Science ; Computer simulation; 004.33
• 在線閱讀: http://repository.vnu.edu.vn/handle/VNU_123/26374

The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verif...