G. Provan

info

Please Note

<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>

Conference paper (2)

2 records found

A framework and algorithm for model-based active testing

Conference paper (2008) - AB Feldman , G. Provan , AJC van Gemund

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

Conference paper (2007) - AB Feldman , G. Provan , AJC van Gemund