Browsing by Author Mazen Ahmed Abbas Ebeid

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2021ENSURING FUNCTIONAL SAFETY FOR SOFTWARE DESIGNS USING FORMAL VERIFICATION FRAMEWORKMazen Ahmed Abbas Ebeid