A Simple Game-Theoretic Approach to Checkonly QVT Relations 论文

2009Lecture notes in computer science引用 242
DOIPDF
Model-Driven Software Engineering TechniquesSemantic Web and OntologiesFormal Methods in Verification
企业软件Semantic Web and OntologiesModel-Driven Software Engineering TechniquesFormal Methods in Verification
相关技术:Model-Driven Software Engineering TechniquesFormal Methods in Verification
关系图谱

A Simple Game-Theoretic Approach to Checkonly QVT Relations · 相关文章

暂无数据