High-Level Decision Diagram based Fault Models for Targeting FSMs.

Jaan Raik, Raimund Ubar, Taavi Viilukas

Browse the full DSD paper archive.