Publications by the researcher in collaboration with Fernando Lopez Pelayo (2)

2005

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

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

    From Specification to Embedded Systems Application