BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-216646, author = {Reinbacher, Thomas and Geist, Johannes and Moosbrugger, Patrick and Horauer, Martin and Steininger, Andreas}, title = {Parallel Runtime Verification of Temporal Properties for Embedded Software}, booktitle = {Mechatronics and Embedded Systems and Applications (MESA), 2012 IEEE/ASME International Conference on}, year = {2012}, pages = {224--231}, isbn = {978-1-4673-2347-5}, note = {talk: Mechatronics and Embedded Systems and Applications (MESA), 2012 IEEE/ASME International Conference on, Suzhou, China; 2012-07-08 -- 2012-07-10} } 1 Datensatz ausgegeben