A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

  1. Benghazi Akhlaki, K.
  2. Capel Tuñón, M.I.
  3. Holgado Terriza, J.A.
  4. Mendoza Morales, L.E.
Revista:
Science of Computer Programming

ISSN: 0167-6423

Año de publicación: 2007

Volumen: 65

Número: 1

Páginas: 41-56

Tipo: Artículo

DOI: 10.1016/J.SCICO.2006.08.005 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus