ISMAEL
RODRÍGUEZ LAGUNA
Profesor titular de universidad
![Foto de Fernando](/img/nophoto.png)
Fernando
Lopez Pelayo
Publications dans lesquelles il/elle collabore avec Fernando Lopez Pelayo (2)
2005
-
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
-
A formal methodology to test complex embedded systems: Application to interactive driving system
From Specification to Embedded Systems Application