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]

  • Nous recrutons ! Nous recherchons deux annotateurs pour se joindre à notre équipe :) https://t.co/nFhjT6XKB7
  • Le Canada s'adapte! RT @LeCanadaSadapte: C’est beau de voir @GGJuliePayette montre l'intérêt du projet de recherche visant à évaluer l’impact des #changements…