Ghada Moussa Bahig

According to our database¹, Ghada Moussa Bahig authored at least 3 papers between 2012 and 2017.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2017

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines.

[BibT_eX]

[DOI]

IEEE Access, 2017

2014

Formal verification of AUTOSAR FlexRay state manager.

[BibT_eX]

[DOI]

Proceedings of the 9th International Design and Test Symposium, 2014

2012

Ensuring software safety in safety critical domains.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012