Login / Signup
Zahra Ramezani
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 15
Top Topics
Temporal Logic
Input Parameters
Cyber Physical
Mazurkiewicz Traces
Top Venues
CoRR
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
ECC
ACC
</>
Publications
</>