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 · 作者

A

Alain Finkel

P

Ph. Schnoebelen

L

Laure Petrucci

A

Antoine Petit

F

François Laroussinie

M

Michel Bidoit

B

Béatrice Bérard