Acte de conférence, colloque et atelier

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
[Résumé]