3 records found
1
Transformation of UML specification to XTG
A timed automata semantics for Real-Time UML specifications
Specification of real-time systems in UML