Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki. Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. In Jorge Cardoso, José Cordeiro, Joaquim Filipe, editors, ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007. pages 205-211, 2007.

Abstract

Abstract is missing.