[IEEE 2016 International Conference on Open Source Systems & Technologies (ICOSST) - Lahore, Pakistan (2016.12.15-2016.12.17)] 2016 International Conference on Open Source Systems & Technologies (ICOSST) - Formalizing structural semantics of UML 2.5 activity diagram in Z Notation
Jamal, Maryam, Zafar, Nazir AhmadYear:
2016
Language:
english
DOI:
10.1109/ICOSST.2016.7838579
File:
PDF, 208 KB
english, 2016