Login / Signup
Shimmi Asokan
ORCID
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 2
Top Topics
Model Checker
Formal Specification
Selection Algorithm
Communication Protocol
Top Venues
Innov. Syst. Softw. Eng.
ISED
</>
Publications
</>