UPPAAL — a tool suite for automatic verification of real-time systems 论文

1996Lecture notes in computer science引用 741
DOI
Formal Methods in VerificationModel-Driven Software Engineering TechniquesSoftware Reliability and Analysis Research
企业软件Model-Driven Software Engineering TechniquesFormal Methods in VerificationSoftware Reliability and Analysis Research
相关技术:Model-Driven Software Engineering TechniquesFormal Methods in Verification
关系图谱

5

作者

2

相关技术

0

相关事件

0

相关文章

作者查看全部 (5)

W

Wang Yi

P

Paul Pettersson

F

Fredrik Larsson

K

Kim G. Larsen

相关技术查看全部 (2)

Model-Driven Software Engineering TechniquesFormal Methods in Verification

相关事件

暂无数据

相关文章

暂无数据