Conference , Workshops Proceedings

Fault Model-Driven Test Derivation from Finite State Models

Petrenko, A. "Fault Model-Driven Test Derivation from Finite State Models" in Modeling and Verification of Parallel Processes, LNCS Tutorials of the 4th Summer School (MOVEP 2000, June 19-23), pp. 196-205. Nantes, France,  1 January 2001

  • #ÉvénementPartenaire : Forum CIRANO-ADRIQ - Françoys Labonté siégera sur un panel autour de la formation et l'accom… https://t.co/QmyYdYO4Eg
  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…