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
Año de publicación: 2005
Volumen: 184
Páginas: 125-136
Tipo: Artículo
Colección de libros:
IFIP Advances in Information and Communication Technology