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
Año de publicación: 2007
Volumen: 65
Número: 1
Páginas: 41-56
Tipo: Artículo