Computational techniques for the verification of hybrid systems 论文

2003Proceedings of the IEEE引用 348
DOI
Formal Methods in VerificationSoftware Reliability and Analysis ResearchReal-Time Systems Scheduling
Formal Methods in VerificationReal-Time Systems SchedulingSoftware Reliability and Analysis Research
相关技术:Formal Methods in Verification
关系图谱

Computational techniques for the verification of hybrid systems · 相关文章

暂无数据