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
Argitalpen urtea: 2006
Orrialdeak: 290-291
Biltzarra: 8th International Conference on Enterprise Information Systems (ICEIS 2006)
Mota: Biltzar ekarpena