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.
Aldizkaria:
Science of Computer Programming

ISSN: 0167-6423

Argitalpen urtea: 2007

Alea: 65

Zenbakia: 1

Orrialdeak: 41-56

Mota: Artikulua

DOI: 10.1016/J.SCICO.2006.08.005 GOOGLE SCHOLAR lock_openSarbide irekia editor

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus