Login / Signup
Sapna Jaidka
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 4
Top Topics
Fault Tolerant
Interactive Systems
Petri Net
Formal Verification
Top Venues
FM Workshops (1)
APSEC
FMEC
EICS
</>
Publications
</>