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
Argitalpen urtea: 2005
Alea: 184
Orrialdeak: 125-136
Mota: Artikulua
Liburu bilduma:
IFIP Advances in Information and Communication Technology