High-level modeling and testing of multiple control faults in digital systems.

Artjom Jasnetski, Stephen Adeboye Oyeniran, Anton Tsertov, Mario Schlzel, Raimund Ubar

Browse the full DDECS paper archive.