Pages that link to "Item:Q2847424"
From MaRDI portal
The following pages link to Transformation and verification of executable UML models (Q2847424):
Displaying 8 items.
- Live and let die: LSC based verification of UML models (Q1776581) (← links)
- Transformation of dynamic aspects of UML models into LOTOS behaviour expressions (Q2730887) (← links)
- (Q3638655) (← links)
- (Q4411048) (← links)
- (Q4817500) (← links)
- Model Checking Software (Q5308370) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308395) (← links)
- Global Computing (Q5464838) (← links)