A conceptual scheme for compositional model-checking verification of critical communicating systems
- Morales, L.E.M.
- Tuñón, M.I.C.
- Pérez, M.A.
- Ahklaki, K.B.
Actas:
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems
ISBN: 9789898111388
Año de publicación: 2008
Volumen: 1 ISAS
Páginas: 86-93
Tipo: Aportación congreso