HYTECH: a model checker for hybrid systems 论文
1997International Journal on Software Tools for Technology Transfer引用 775
Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques
详细信息
- 发表期刊/会议
- International Journal on Software Tools for Technology Transfer
- 发表日期
- 1997-12-01
- 发表年份
- 1997
关键词
Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques