Acte de conférence, colloque et atelier

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, le 1 janvier 2001