Login / Signup
Amir Eaman
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 3
Top Topics
Formal Verification
Description Language
Model Checker
Security Concerns
Top Venues
Innov. Syst. Softw. Eng.
MCETECH
VECoS
</>
Publications
</>