vUML: a tool for verifying UML models 论文

2003引用 225
DOI
Formal Methods in VerificationModel-Driven Software Engineering TechniquesAdvanced Software Engineering Methodologies
企业软件Model-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesFormal Methods in Verification
相关技术:Model-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesFormal Methods in Verification
关系图谱

vUML: a tool for verifying UML models · 相关技术

相关技术

Model-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesFormal Methods in Verification