Login / Signup
Giann Spilere Nandi
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Messages Exchanged
Wireless Sensor Networks
Safety Analysis
Formal Verification
Top Venues
RTSS
RSSRail
TiCSA@ETAPS
QUATIC
</>
Publications
</>