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.
Collection de livres:
IFIP Advances in Information and Communication Technology

ISSN: 1868-4238

ISBN: 9780387275574

Année de publication: 2005

Volumen: 184

Pages: 125-136

Type: Article

GOOGLE SCHOLAR
La source de données: Scopus