ISMAEL
RODRÍGUEZ LAGUNA
Profesor titular de universidad

Fernando
Lopez Pelayo
Publicacions en què col·labora amb Fernando Lopez Pelayo (2)
2005
-
A formal methodology to test complex embedded systems: Application to interactive driving system
From Specification to Embedded Systems Application
-
A formal methodology to test complex embedded systems: Application to interactive driving system
IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136