| Beyer, S. and Böhm, P. and Gerke, M. and Hillebrand, M. and In der Rieden, T. and Knapp, S. and Leinenbach, D. and Paul, W.J. |
|
EE |
BibTeX |
| Towards the Formal Verification of Lower System Layers in Automotive Systems. | | In 23nd IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, Proceedings, | | pages 317-324, IEEE, 2005. | | ISBN 0-7695-2451-6 | | |
|
