Publications en collaboration avec des chercheurs de Universidad Europea de Madrid (1)

1999

  1. Measurement and prediction of the verification cost of the design in a formalized methodology

    Information and Software Technology, Vol. 41, Núm. 7, pp. 421-434