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