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

Article

Abstract: By following a methodological approach, introduced in a previous work, a correct system specificatio

Palabras claves:

CSP+T, Formal specification, Real-time software systems, UML-RT

Autores:

Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Terriza J.H., Tuñón M.I.C.

Fuentes:

google

scopus