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
Any de publicació: 2005
Volum: 184
Pàgines: 125-136
Tipus: Article
Col·lecció de llibres:
IFIP Advances in Information and Communication Technology