Publications dans lesquelles il/elle collabore avec 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