A CONCEPTUAL SCHEME FOR COMPOSITIONAL MODEL-CHECKING VERIFICATION OF CRITICAL COMMUNICATING SYSTEMS

  1. Morales, Luis E. Mendoza
  2. Tunon, Manuel I. Capel
  3. Perez, Maria A.
  4. Ahklaki, Kawtar Benghazi
Libro:
ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-1
  1. Cordeiro, J (coord.)
  2. Filipe, J (coord.)

ISBN: 978-989-8111-38-8

Año de publicación: 2008

Páginas: 86-87

Congreso: 10th International Conference on Enterprise Information Systems

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: WoS