Conference , Workshops Proceedings

Fault Model-Driven ...

Petrenko, A. "Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography" in Proceedings of Modeling and Verification of Parallel Processes (MOVEP'2000), pp. 36-43. Nantes, France
[Full text] [Abstract]

  • Notre #RapportAnnuel est en ligne! Découvrez les réalisations phares de l'année incluant une série d'interventions… https://t.co/GxLmYubAhr
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…