An interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T
- Capel Tuñón, M.I.
- Akhlaki, K.B.
- Terriza, J.A.H.
- Morales, L.E.M.
Actes de conférence:
Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007
ISBN: 9789728865955
Année de publication: 2007
Pages: 74-83
Type: Communication dans un congrès