Boris Konorev

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Adaptive Systems

Safety Critical

Top Venues

Publications

Vyacheslav S. Kharchenko, Boris Konorev, Vladimir V. Sklyar, L. Reva
Invariant-oriented verification of HDL-based safety critical systems. EWDTS (2013)
Alexander Gordeyev, Vyacheslav Kharchenko, Anton Andrashov, Boris Konorev, Vladimir V. Sklyar, Artem Boyarchuk
Case-based software reliability assessmentby fault injection unified procedures. SEESE@ICSE (2008)