UML interactions meet state machines -- an institutional approach
From MaRDI portal
Publication:4580211
Recommendations
Cited in
(9)- Institution-based encoding and verification of simple UML state machines in CASL/SPASS
- A Heterogeneous Approach to UML Semantics
- Revisiting Semantics of Interactions for Trace Validity Analysis
- Views on behaviour protocols and their semantic foundation
- An institutional approach to communicating UML state machines
- scientific article; zbMATH DE number 1951193 (Why is no real title available?)
- Decomposing Interactions
- Formal Methods in Software and Systems Modeling
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
This page was built for publication: UML interactions meet state machines -- an institutional approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580211)