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

  1. Núñez, M.
  2. Pelayo, F.L.
  3. Rodríguez, I.
Büchersammlung:
IFIP Advances in Information and Communication Technology

ISSN: 1868-4238

ISBN: 9780387275574

Datum der Publikation: 2005

Ausgabe: 184

Seiten: 125-136

Art: Artikel

GOOGLE SCHOLAR
Datenquelle: Scopus