A theory of timed automata 论文
1994Theoretical Computer Science引用 6451
Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques
详细信息
- 发表期刊/会议
- Theoretical Computer Science
- 发表日期
- 1994-04-01
- 发表年份
- 1994
关键词
Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques