Ghada Moussa Bahig, Amr El-Kadi, Ashraf Salem. Formal verification of AUTOSAR FlexRay state manager. In 9th International Design and Test Symposium, IDT 2014, Algeries, Algeria, December 16-18, 2014. pages 193-198, IEEE, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.