文件名称：Timed Automata: Semantics, Algorithms and Tools
文件大小：371KB
文件格式：PDF
更新时间：2013-10-19 12:21:14
Timed Automata,时间自动机
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools