Login / Signup
Ghada Moussa Bahig
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 1
Top Topics
Safety Critical
Formal Verification
Model Checker
Software Intensive Systems
Top Venues
ICITST
IDT
IEEE Access
</>
Publications
</>
Ghada Moussa Bahig
,
Amr El-Kadi
Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines.
IEEE Access
5 (2017)
Ghada Moussa Bahig
,
Amr El-Kadi
,
Ashraf Salem
Formal verification of AUTOSAR FlexRay state manager.
IDT
(2014)
Ghada Moussa Bahig
,
Amr El-Kadi
Ensuring software safety in safety critical domains.
ICITST
(2012)