Login / Signup
Matteo Rossi
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Reference Architecture
Human Errors
Formal Verification
Cyber Attacks
Top Venues
Softw. Syst. Model.
FormaliSE
J. Supercomput.
IEEE Access
</>
Publications
</>