has been cited by the following article(s):
[1]
|
An UML+Z Framework For Validating And Verifying the Static Aspect of Safety Critical System
Procedia Computer Science,
2016
DOI:10.1016/j.procs.2016.05.243
|
|
|
[2]
|
Possible Improvements in UML Behavior Diagrams
2014 International Conference on Computational Science and Computational Intelligence,
2014
DOI:10.1109/CSCI.2014.113
|
|
|
[3]
|
Model Analysis of Equivalence Classes in UML Events Relations
Journal of Software Engineering and Applications,
2013
DOI:10.4236/jsea.2013.612078
|
|
|