An interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T

  1. Capel Tuñón, M.I.
  2. Akhlaki, K.B.
  3. Terriza, J.A.H.
  4. 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