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]
@article{FeySFD11,
title = {Effective Robustness Analysis Using Bounded Model Checking Techniques},
author = {Görschwin Fey and André Sülflow and Stefan Frehse and Rolf Drechsler},
year = {2011},
doi = {10.1109/TCAD.2011.2120950},
url = {http://dx.doi.org/10.1109/TCAD.2011.2120950},
tags = {model checking, meta-model, analysis, Meta-Environment},
researchr = {https://researchr.org/publication/FeySFD11},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {30},
number = {8},
pages = {1239-1252},
}