Pages that link to "Item:Q1858428"
From MaRDI portal
The following pages link to Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking (Q1858428):
Displaying 6 items.
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- Modelling and model checking suspendible business processes via statechart diagrams and CSP (Q869685) (← links)
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Q1578397) (← links)
- Intra- and interdiagram consistency checking of behavioral multiview models (Q1749133) (← links)
- On testing UML statecharts (Q2500697) (← links)
- An outline of PVS semantics for UML statecharts (Q2709232) (← links)