Pages that link to "Item:Q2637308"
From MaRDI portal
The following pages link to Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata (Q2637308):
Displaying 4 items.
- Dependability analysis of DES based on MARTE and UML state machines models (Q434473) (← links)
- A formal semantics of extended hierarchical state transition matrices using CSP\# (Q736828) (← links)
- Model Checking Software (Q5308370) (← links)
- Formal Methods for Components and Objects (Q5897124) (← links)