Login / Signup
Gianni Zampedri
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 3
Top Topics
Fault Model
Symbolic Model Checking
Automated Verification
Control System
Top Venues
CoRR
TACAS
RSSRail
AAAI
</>
Publications
</>