BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-229199, author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan}, title = {Runtime verification of microcontroller binary code}, journal = {Science of Computer Programming}, year = {2014}, volume = {80}, pages = {109--129}, doi = {10.1016/j.scico.2012.10.015} } 1 Datensatz ausgegeben