Verificación Formal del Sistema de Control de Acceso a Aplicaciones Corporativas de la E.L.C

  1. Suárez-Calvo, Esther
  2. Tuya, Javier
Livre:
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000
  1. Delgado, Carlos (coord.)
  2. Marcos Martínez, Esperanza (coord.)
  3. Marqués, José M. (coord.)

Éditorial: Departamento de Informática ; Universidad de Valladolid

ISBN: 84-8448-065-8

Année de publication: 2000

Pages: 21-22

Type: Chapitre d'ouvrage

DIALNET GOOGLE SCHOLAR
La source de données: Dialnet