From Specification to Embedded Systems Application

IFIP TC10 Working Conference: Internationall Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil

A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS:
APPLICATION TO INTERACTIVE DRIVING SYSTEM * Manuel Nunez,1
Fernando L. Pelayo2 and Ismael Rodriguez1 1 Departamento Sistemas
Informdticos y ...