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

  • Croesus_fr RT @Croesus_fr: @CRIM_ca @economie_quebec Merci pour le partage @CRIM_ca! Nous sommes aussi très heureux. #collaboration
  • Croesus RT @CroesusFin: Croesus announces the official launch of Croesus Lab https://t.co/GqWue9OaHk