Login / Signup
Marco Zamboni
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Symbolic Model Checking
Safety Analysis
Temporal Logic
Complex Systems
Top Venues
TACAS (1)
iFM
</>
Publications
</>