Pages that link to "Item:Q2703737"
From MaRDI portal
The following pages link to Specification of real-time systems in UML (Q2703737):
Displaying 5 items.
- Integrating data flow equations with UML/realtime (Q704776) (← links)
- A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models (Q869690) (← links)
- Extending the SCR method for real-time systems (Q1595888) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- Formal Methods for Components and Objects (Q5897124) (← links)