Effective Robustness Analysis Using Bounded Model Checking Techniques (bibtex)
by Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler
Reference:
Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler, "Effective Robustness Analysis Using Bounded Model Checking Techniques", In IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 30, no. 8, pp. 1239-1252, 2011.
Bibtex Entry:
@Article{DBLP:journals/tcad/FeySFD11,
  Title                    = {Effective Robustness Analysis Using Bounded Model Checking Techniques},
  Author                   = {G{\"o}rschwin Fey and Andr{\'e} S{\"u}lflow and Stefan Frehse and Rolf Drechsler},
  Journal                  = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  Year                     = {2011},
  Number                   = {8},
  Pages                    = {1239-1252},
  Volume                   = {30},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1109/TCAD.2011.2120950},
  Pi                       = {Rolf Drechsler},
keywords={easecrc_cognitive_arch_systems}
}
Powered by bibtexbrowser