Login / Signup
Luís Diogo Couto
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 6
Top Topics
Provably Correct
Formal Verification
Cyber Physical
Model Checker
Top Venues
SIMULTECH (Selected Papers)
CoRR
SIMULTECH
SAC
</>
Publications
</>