Daniel Tille

2 books • 1 series

Nov 10, 2011
Cover of Advanced Utilization of Formal Methods in Automatic Test Pattern Generation for Industrial Designs

Advanced Utilization of Formal Methods in Automatic Test Pattern Generation for Industrial Designs (Berichte aus der Informatik)

Apr 30, 2009
Cover of Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines