A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
- Benghazi Akhlaki, K.
- Capel Tuñón, M.I.
- Holgado Terriza, J.A.
- Mendoza Morales, L.E.
ISSN: 0167-6423
Année de publication: 2007
Volumen: 65
Número: 1
Pages: 41-56
Type: Article