Login / Signup
Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines.
Ghada Moussa Bahig
Amr 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