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.
Proceedings:
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

Year of publication: 2007

Pages: 74-83

Type: Conference paper