Formal verification of AUTOSAR FlexRay state manager
Files
Department
Computer Science & Engineering Department
Abstract
[abstract not available]
Publication Date
2-10-2015
Document Type
Book Chapter
Book Title
Proceedings of 2014 9th International Design and Test Symposium, IDT 2014
ISBN
SCOPUS_ID:84924308546
Publisher
IEEE
City
Algeries, Algeria
First Page
193
Last Page
198
Recommended Citation
APA Citation
Bahig, G.
El-Kadi, A.
&
Salem, A.
(2015).Formal verification of AUTOSAR FlexRay state manager. IEEE. , 193-198
https://fount.aucegypt.edu/faculty_book_chapters/418
MLA Citation
Bahig, Ghada, et al.
Formal verification of AUTOSAR FlexRay state manager. IEEE, 2015.pp. 193-198
https://fount.aucegypt.edu/faculty_book_chapters/418