Automatic Test Generation for Maximal Diagnosis of Linear Analogue Circuits.

Salvador Mir, Bernard Courtois, Marcelo Lubaszewski, Vladimir Kolarik

Browse the full DATE paper archive.