Systems and Software Verification: Model-Checking Techniques and Tools 论文

2001引用 492
Formal Methods in VerificationSoftware Reliability and Analysis ResearchModel-Driven Software Engineering Techniques
企业软件Model-Driven Software Engineering TechniquesFormal Methods in VerificationSoftware Reliability and Analysis Research
相关技术:Formal Methods in VerificationModel-Driven Software Engineering Techniques
关系图谱

Systems and Software Verification: Model-Checking Techniques and Tools · 相关技术

相关技术

Formal Methods in VerificationModel-Driven Software Engineering Techniques