Scalable and Optimized Hybrid Verification of Embedded Software

Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. Scalable and Optimized Hybrid Verification of Embedded Software. J. Electronic Testing, 31(2):151-166, 2015. [doi]

@article{BehrendLGRKR15,
  title = {Scalable and Optimized Hybrid Verification of Embedded Software},
  author = {Jörg Behrend and Djones Lettnin and Alexander Grünhage and Jürgen Ruf and Thomas Kropf and Wolfgang Rosenstiel},
  year = {2015},
  doi = {10.1007/s10836-015-5518-4},
  url = {http://dx.doi.org/10.1007/s10836-015-5518-4},
  researchr = {https://researchr.org/publication/BehrendLGRKR15},
  cites = {0},
  citedby = {0},
  journal = {J. Electronic Testing},
  volume = {31},
  number = {2},
  pages = {151-166},
}