Login / Signup
Zamira Daw
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 5
Top Topics
Medical Devices
Model Checker
Uml Activity Diagrams
Formal Verification
Top Venues
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
CoRR
SAFECOMP Workshops
Sci. Comput. Program.
</>
Publications
</>