Login / Signup
Simone Vuotto
ORCID
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 11
Top Topics
Black Boxes
Reactive Systems
Consistency Checking
Temporal Reasoning
Top Venues
CoRR
NFM
ICST
Innov. Syst. Softw. Eng.
</>
Publications
</>