A formal methodology to test complex embedded systems: Application to interactive driving system
- Núñez, M.
- Pelayo, F.L.
- Rodríguez, I.
ISSN: 1868-4238
ISBN: 9780387275574
Year of publication: 2005
Volume: 184
Pages: 125-136
Type: Article
ISSN: 1868-4238
ISBN: 9780387275574
Year of publication: 2005
Volume: 184
Pages: 125-136
Type: Article