A Formal Condition to Stop an Incremental Automatic Functional Diagnosis.

Authors :: Amati, L.
Bolchini, C.
Salice, F.
Franzoso, F.
Source :: 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods & Tools (DSD); 2010, p637-643, 7p
Publication Year :: 2010

Language :: English
ISBNs :: 9781424478392
Database :: Complementary Index
Journal :: 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods & Tools (DSD)
Publication Type :: Conference
Accession number :: 81352072
Full Text :: https://doi.org/10.1109/DSD.2010.98