Login / Signup
Eman M. Elmandouh
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Formal Verification
Model Checker
Temporal Logic
Technology Enhanced Learning
Top Venues
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>
Eman M. Elmandouh
,
Amr G. Wassal
Guiding Formal Verification Orchestration Using Machine Learning Methods.
ACM Trans. Design Autom. Electr. Syst.
23 (5) (2018)