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

  • CANARIE RT @CANARIE_Inc: How do you know whether online education is effective? CANARIE Research Software Program VESTA has it figured out @CRIM_ca…
  • CANARIE RT @CANARIE_Inc: Comment savoir si l'enseignement en ligne est efficace? Le logiciel de recherche Vesta financé par CANARIE a trouvé la sol…