Login / Signup

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines.

Ghada Moussa BahigAmr El-Kadi
Published in: IEEE Access (2017)
Keyphrases
  • formal verification
  • design process
  • model checking
  • case study
  • real time
  • website
  • functional verification
  • multi agent systems
  • user interface
  • design patterns
  • formal methods