Correctness of high-level transformation systems relative to nested conditions 论文

2009Mathematical Structures in Computer Science引用 225
DOI
Model-Driven Software Engineering TechniquesFormal Methods in VerificationSemantic Web and Ontologies
企业软件Semantic Web and OntologiesModel-Driven Software Engineering TechniquesFormal Methods in Verification
相关技术:Formal Methods in VerificationModel-Driven Software Engineering Techniques
关系图谱

Correctness of high-level transformation systems relative to nested conditions · 相关技术

相关技术

Formal Methods in VerificationModel-Driven Software Engineering Techniques