BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-139313, author = {Peti, Philipp and Obermaisser, Roman and Kopetz, Hermann}, title = {Out-of-Norm Assertions}, booktitle = {Proceedings of the elventh IEEE Real-Time and Embedded Technology and Applications Symposium}, year = {2005}, pages = {280--291}, publisher = {IEEE Computer Society}, isbn = {0-7695-2302-1}, note = {talk: IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, California; 2005-03-07 -- 2005-03-10} } 1 Datensatz ausgegeben