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

Ano de publicación: 2007

Volume: 65

Número: 1

Páxinas: 41-56

Tipo: Artigo

DOI: 10.1016/J.SCICO.2006.08.005 GOOGLE SCHOLAR lock_openAcceso aberto editor

Obxectivos de Desenvolvemento Sustentable

Fonte de datos: Scopus