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
关系图谱

1

作者

2

相关技术

0

相关事件

0

相关文章

作者查看全部 (1)

P

Perdita Stevens

相关技术查看全部 (2)

Model-Driven Software Engineering TechniquesFormal Methods in Verification

相关事件

暂无数据

相关文章

暂无数据