scientific article; zbMATH DE number 1304378
From MaRDI portal
Publication:4251114
Recommendations
Cited in
(20)- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
- On testing UML statecharts
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
- An outline of PVS semantics for UML statecharts
- A note on semantics (with an emphasis on UML)
- scientific article; zbMATH DE number 1693516 (Why is no real title available?)
- Compositional operational semantics of a UML-kernel-model language
- Synergistic verification and validation of systems and software engineering models
- scientific article; zbMATH DE number 2006492 (Why is no real title available?)
- scientific article; zbMATH DE number 2006496 (Why is no real title available?)
- scientific article; zbMATH DE number 2006503 (Why is no real title available?)
- scientific article; zbMATH DE number 2016088 (Why is no real title available?)
- scientific article; zbMATH DE number 2080017 (Why is no real title available?)
- scientific article; zbMATH DE number 2086759 (Why is no real title available?)
- scientific article; zbMATH DE number 1569123 (Why is no real title available?)
- Fundamental Approaches to Software Engineering
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Compositional semantics and refinement of Statecharts
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4251114)
