A Formal Condition to Stop an Incremental Automatic Functional Diagnosis.

Luca Amati, Cristiana Bolchini, Fabio Salice, Federico Franzoso

Browse the full DSD paper archive.