Model Checking and Code Generation for UML Diagrams Using Graph Transformation
Chama, WafaVolume:
3
Language:
english
Journal:
International Journal of Software Engineering & Applications
DOI:
10.5121/ijsea.2012.3604
Date:
November, 2012
File:
PDF, 734 KB
english, 2012