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.
Book Series:
IFIP Advances in Information and Communication Technology

ISSN: 1868-4238

ISBN: 9780387275574

Year of publication: 2005

Volume: 184

Pages: 125-136

Type: Article

GOOGLE SCHOLAR
Data source: Scopus