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.
Actas:
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
Año de publicación: 2007
Páginas: 74-83
Tipo: Aportación congreso