L. Reva

Publication Activity (10 Years)

Years Active: 2010-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)
L. Reva, Vitaliy Kulanov, Vyacheslav S. Kharchenko
Design fault injection-based technique and tool for FPGA projects verification. EWDTS (2011)
A. Andrashov, Vyacheslav S. Kharchenko, Vladimir V. Sklyar, L. Reva, V. Dovgopolyi, V. Golovir
Verification of FPGA electronic designs for nuclear reactor trip systems: test- and invariant-based methods. EWDTS (2010)