Scenario-based verification of real-time systems usingUppaal
- 作者Shuhao Li; Sandie Balaguer; Alexandre David; Kim G. Larsen; Brian Nielsen; Saulius Pusinskas
- 卷第37卷
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小2115.64KB
- 发表时间2010-12
- DOI10.1007/s10703-010-0103-z
- 页码200-264