About this scholarly article

2005 International Conference on Computer Design - Towards the formal verification of lower system layers in automotive systems by Beyer, S.; Bohm, P.; Gerke, M.; Hillebrand, M.; der Rieden, T.I.; Knapp, S.; Leinenbach, D.; Paul, W.J. is a scholarly article available to read on EtoBox.

Author

Beyer, S.; Bohm, P.; Gerke, M.; Hillebrand, M.; der Rieden, T.I.; Knapp, S.; Leinenbach, D.; Paul, W.J.

Publisher

IEEE Comput. Soc

Published

2005