Formal Verification of Automotive Design in Compliance with ISO 26262 Design Verification Guidelines

Authors

Ghada Bahig, American University in Cairo
Amr El-Kadi, American University in CairoFollow

Author's Department

Computer Science & Engineering Department

Find in your Library

https://doi.org/10.1109/ACCESS.2017.2683508

Document Type

Research Article

Publication Title

IEEE Access

Publication Date

1-1-2017

doi

10.1109/ACCESS.2017.2683508

First Page

4505

Last Page

4516

Recommended Citation

APA Citation

Bahig, G. & El-Kadi, A. (2017). Formal Verification of Automotive Design in Compliance with ISO 26262 Design Verification Guidelines. IEEE Access, 5, 4505–4516. 10.1109/ACCESS.2017.2683508
https://fount.aucegypt.edu/faculty_journal_articles/1046

MLA Citation

Bahig, Ghada, et al. "Formal Verification of Automotive Design in Compliance with ISO 26262 Design Verification Guidelines." IEEE Access, vol. 5, 2017, pp. 4505–4516.
https://fount.aucegypt.edu/faculty_journal_articles/1046