A formal methodology to test complex embedded systems: Application to interactive driving system

  1. Nunez, M
  2. Pelayo, FL
  3. Rodriguez, I
Colección de libros:
From Specification to Embedded Systems Application
  1. Rettberg, A (coord.)
  2. Zanella, MC (coord.)
  3. Rammig, FJ (coord.)

ISSN: 1571-5736

ISBN: 0-387-27557-6

Año de publicación: 2005

Volumen: 184

Páginas: 125-136

Congreso: International Embedded Systems Symposium (IESS)

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: WoS