Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications

  1. Akhlaki, K. Benghazi
  2. Tunon, M. I. Capel
  3. Terriza, J. A. Holgado
Libro:
ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS

ISBN: 972-8865-43-0

Año de publicación: 2006

Páginas: 290-291

Congreso: 8th International Conference on Enterprise Information Systems (ICEIS 2006)

Tipo: Aportación congreso