Pages that link to "Item:Q869690"
From MaRDI portal
The following pages link to A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models (Q869690):
Displaying 5 items.
- Modeling distributed real-time applications with Specification PEARL (Q868695) (← links)
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197) (← links)
- Transformational design of real-time systems. I: From requirements to program specifications (Q1282325) (← links)
- Specification of real-time systems in UML (Q2703737) (← links)
- Viewing CSP specifications with UML-RT diagrams (Q2873608) (← links)