Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems 论文
1993Lecture notes in computer science引用 1100
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
详细信息
- 发表期刊/会议
- Lecture notes in computer science
- 发表日期
- 1993-01-01
- 发表年份
- 1993
关键词
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research