Login / Signup
Sergey Tverdyshev
ORCID
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 11
Top Topics
Specific Domains
False Positives And False Negatives
Industrial Automation
Formal Specification
Top Venues
MILS@HiPEAC
ISC
Secur. Commun. Networks
Arch. Formal Proofs
</>
Publications
</>