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

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

Year of publication: 2005

Volume: 184

Pages: 125-136

Congress: International Embedded Systems Symposium (IESS)

Type: Conference paper

GOOGLE SCHOLAR
Data source: WoS