A formal methodology to test complex embedded systems: Application to interactive driving system
- Nunez, M
- Pelayo, FL
- Rodriguez, I
- Rettberg, A (coord.)
- Zanella, MC (coord.)
- 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