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. Proceedings of 2014 9th International Design and Test Symposium, IDT 2014 (pp. 193-198). IEEE.
MLA Citation
Bahig, Ghada, et al.
"Formal verification of AUTOSAR FlexRay state manager." Proceedings of 2014 9th International Design and Test Symposium, IDT 2014, IEEE, 2015. pp. 193-198