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

Any de publicació: 2007

Volum: 65

Número: 1

Pàgines: 41-56

Tipus: Article

DOI: 10.1016/J.SCICO.2006.08.005 GOOGLE SCHOLAR lock_openAccés obert editor

Objectius de Desenvolupament Sostenible

Font de les dades: Scopus