Login / Signup
Matteo Camilli
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 55
Top Topics
Formal Verification
Adaptive Systems
Hypothesis Test
Petri Net
Top Venues
CoRR
SYNASC
ISSRE
SEAMS@ICSE
</>
Publications
</>