Pages that link to "Item:Q434473"
From MaRDI portal
The following pages link to Dependability analysis of DES based on MARTE and UML state machines models (Q434473):
Displaying 5 items.
- Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis (Q2517831) (← links)
- Using UML models for the performance analysis of network systems (Q2573326) (← links)
- Dependability modeling and analysis of software systems specified with UML (Q2875090) (← links)
- Quantitative Analysis of UML Statechart Models of Dependable Systems (Q4551648) (← links)
- FM 2005: Formal Methods (Q5716883) (← links)