Vladimir A. Khlevnoy

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Distributed Database Systems

Fault Tolerance

Data Replication

Test Generation

Top Venues

Publications

Andrey A. Shchurov, Radek Marik, Vladimir A. Khlevnoy
A Formal Approach to Network/Distributed Systems Complex Testing. CoRR (2015)
Vladimir A. Khlevnoy, Andrey A. Shchurov
A Formal Approach to Distributed System Security Test Generation. CoRR (2014)