scientific article; zbMATH DE number 1304378
From MaRDI portal
Publication:4251114
Recommendations
Cited in
(19)- scientific article; zbMATH DE number 2006492 (Why is no real title available?)
- scientific article; zbMATH DE number 2006503 (Why is no real title available?)
- A note on semantics (with an emphasis on UML)
- scientific article; zbMATH DE number 2016088 (Why is no real title available?)
- scientific article; zbMATH DE number 1569123 (Why is no real title available?)
- On testing UML statecharts
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams
- scientific article; zbMATH DE number 2006496 (Why is no real title available?)
- Synergistic verification and validation of systems and software engineering models
- Compositional semantics and refinement of Statecharts
- scientific article; zbMATH DE number 2086759 (Why is no real title available?)
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
- scientific article; zbMATH DE number 2080017 (Why is no real title available?)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- scientific article; zbMATH DE number 1693516 (Why is no real title available?)
- Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
- Compositional operational semantics of a UML-kernel-model language
- Fundamental Approaches to Software Engineering
- An outline of PVS semantics for UML statecharts
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)
