篇名 | Model Analysis of Equivalence Classes in UML Events Relations | ||
来源期刊 | 软件工程与应用(英文) | 学科 | 数学 |
关键词 | UML State DIAGRAMS EQUIVALENCE RELATIONS FORMAL Methods Z notation Validation and Verification | ||
年,卷(期) | 2013,(12) | 所属期刊栏目 | |
研究方向 | 页码范围 | 653-661 | |
页数 | 9页 | 分类号 | O1 |
字数 | 语种 | ||
DOI |