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:
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
Any de publicació: 2007
Pàgines: 74-83
Tipus: Aportació congrés