BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-206044, author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Schachinger, Daniel and Steininger, Andreas and Kowalewski, Stefan}, title = {Automated test-trace inspection for microcontroller binary code}, booktitle = {Runtime Verification}, year = {2011}, pages = {239--244}, note = {talk: 2nd International Conference on Runtime Verification (RV 2011), San Francisco; 2011-09-27 -- 2011-09-30} } 1 Datensatz ausgegeben