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]
|
Model Analysis of Equivalence Classes in UML Events Relations
Journal of Software Engineering and Applications,
2013
DOI:10.4236/jsea.2013.612078
|
|
|
[3]
|
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
Journal of Software Engineering and Applications,
2010
DOI:10.4236/jsea.2010.38093
|
|
|