Login / Signup

Towards the Formal Verification of Lower System Layers in Automotive Systems.

Sven BeyerPeter BöhmMichael GerkeMark A. HillebrandThomas In der RiedenSteffen KnappDirk LeinenbachWolfgang J. Paul
Published in: ICCD (2005)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • management system
  • retrieval systems
  • multi layer
  • expert systems
  • intelligent systems
  • program slicing