Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications
- Akhlaki, K. Benghazi
- Tunon, M. I. Capel
- Terriza, J. A. Holgado
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