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

  1. Nunez, M
  2. Pelayo, FL
  3. Rodriguez, I
Liburu bilduma:
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

Argitalpen urtea: 2005

Alea: 184

Orrialdeak: 125-136

Biltzarra: International Embedded Systems Symposium (IESS)

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: WoS