Model Checking 论文

1999引用 4257

Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques

企业软件 Model-Driven Software Engineering Techniques Formal Methods in Verification Software Testing and Debugging Techniques

相关技术:Formal Methods in Verification Model-Driven Software Engineering Techniques

Model Checking · 作者

D. Long

Orna Grümberg

E. M. Clarke