Institut für Rechnerarchitektur
und Parallelrechner
Michael Gerke
Universität des Saarlandes   Gebäude E1 3
FR 6.2 Informatik    
Postfach 151150    
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail: micge@wjpserver.cs.uni-saarland.de
 
 
Lebenslauf
 
Forschungsinteressen
 
Publikationen
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