An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z ()
Affiliation(s)
ABSTRACT
KEYWORDS
Share and Cite:
Copyright © 2024 by authors and Scientific Research Publishing Inc.
This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.