Refinement Patterns for Hierarchical UML State Machines
From MaRDI portal
Publication:3400934
Recommendations
Cited in
(6)- scientific article; zbMATH DE number 2006492 (Why is no real title available?)
- scientific article; zbMATH DE number 2097479 (Why is no real title available?)
- Refinement patterns for ASTDs
- Refinement sensitive formal semantics of state machines with persistent choice
- scientific article; zbMATH DE number 1693519 (Why is no real title available?)
- Algebraic Methodology and Software Technology
This page was built for publication: Refinement Patterns for Hierarchical UML State Machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400934)