IEEE - Institute of Electrical and Electronics Engineers, Inc. - Robustness Check for Multiple Faults Using Formal Techniques

2009 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools (DSD)

Author(s): Frehse, S. ; Fey, G. ; Suflow, A. ; Drechsler, R.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2009
Conference Location: Patras, Greece, Greece
Conference Date: 27 August 2009
Page(s): 85 - 90
ISBN (Paper): 978-0-7695-3782-5
DOI: 10.1109/DSD.2009.218
Advertisement