Login / Signup
Mohamed Ghazel
ORCID
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 24
Top Topics
Formal Verification
Fault Diagnosis
Neural Network
Petri Net
Top Venues
VECoS
Int. J. Crit. Comput. Based Syst.
IEEE Trans. Intell. Transp. Syst.
SAFECOMP Workshops
</>
Publications
</>