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 | |
|