Publicaciones en las que colabora con Fernando Lopez Pelayo (2)

2005

  1. A formal methodology to test complex embedded systems: Application to interactive driving system

    From Specification to Embedded Systems Application

  2. 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