@inproceedings{Ba09EW, <br>AUTHOR = {Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T.},<br>TITLE = {Better Avionics Software Reliability by Code Verification},<br>YEAR = {2009},<br><br />
<b>Warning</b>:  Undefined variable $SERVER_NAME in <b>/www/www-wjp/includes/bibtexentry.php</b> on line <b>42</b><br />
URL = {http:///publikationen/Ba09EW.pdf}, <br>BOOKTITLE = {embedded world 2009 proceedings & conference materials }, <br>PUBLISHER = {WEKA FACHMEDIEN GmbH},<br>EDITOR = {Sturm, M.},<br>}