Login / Signup
Maryam Kamali
ORCID
Publication Activity (10 Years)
Years Active: 2010-2018
Publications (10 Years): 6
Top Topics
Autonomous Systems
Formal Verification
Model Checking
Wireless Networks
Top Venues
CoRR
Sci. Comput. Program.
Int. J. Crit. Comput. Based Syst.
Int. J. Commun. Networks Inf. Secur.
</>
Publications
</>