Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler. Effective Robustness Analysis Using Bounded Model Checking Techniques. IEEE Trans. on CAD of Integrated Circuits and Systems, 30(8):1239-1252, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.