Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno

  1. Riva, Claudio de la
  2. Tuya, Javier
  3. Diego, José Ramón de
Liburua:
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.)

Argitaletxea: Departamento de Informática ; Universidad de Valladolid

ISBN: 84-8448-065-8

Argitalpen urtea: 2000

Orrialdeak: 53-58

Mota: Liburuko kapitulua

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet