Login / Signup
Sara Mohammadinejad
ORCID
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 11
Top Topics
Recurrent Neural Networks
Verification Method
Mazurkiewicz Traces
Reactive Systems
Top Venues
CoRR
HSCC
IEEE Trans. Biomed. Circuits Syst.
ICCPS
</>
Publications
</>