Login / Signup
Dmitry Brizhinev
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Case Study
Formal Verification
Model Checker
Temporal Logic
Top Venues
CoRR
Complex.
</>
Publications
</>
Dmitry Brizhinev
,
Nathan Ryan
,
Roger Bradbury
Modelling Hegemonic Power Transition in Cyberspace.
Complex.
2018 (2018)
Dmitry Brizhinev
,
Rajeev Goré
A case study in formal verification of a Java program.
CoRR
(2018)