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

ISSN: 0167-6423

Year of publication: 2007

Volume: 65

Issue: 1

Pages: 41-56

Type: Article

DOI: 10.1016/J.SCICO.2006.08.005 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals

Data source: Scopus