All systems operational
For Researchers For Publishers Login Register
Home Publications Arabian Journal for Science and Engineering
Q1 2016

Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram

Nazir Ahmad Zafar
10.1007/s13369-015-1999-9 388 Views 4 Citations
4
Citations
388
Views
Abstract not available for this publication.
Cite this Article (APA)
Nazir, A. Z. (2016). Formal Specification and Verification of Few Combined Fragments of UML Sequence Diagram. Arabian Journal for Science and Engineering. https://doi.org/10.1007/s13369-015-1999-9
Related Papers
99
cites
396
Access
View Full Text via DOI
Published in
ISSN 1319-8025
Quartile Q1
AMS Score 100
Field Engineering & Technology
Publisher Springer-Verlag
Country 🇸🇦 Saudi Arabia
View Journal Profile →
Authors
Publication Details
Year 2016
Language English
Added 01 Aug 2026