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. In 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010. pages 92-97, IEEE, 2010. [doi]
@inproceedings{AndrashovKSRDG10,
title = {Verification of FPGA electronic designs for nuclear reactor trip systems: test- and invariant-based methods},
author = {A. Andrashov and Vyacheslav S. Kharchenko and Vladimir V. Sklyar and L. Reva and V. Dovgopolyi and V. Golovir},
year = {2010},
doi = {10.1109/EWDTS.2010.5742120},
url = {http://doi.ieeecomputersociety.org/10.1109/EWDTS.2010.5742120},
researchr = {https://researchr.org/publication/AndrashovKSRDG10},
cites = {0},
citedby = {0},
pages = {92-97},
booktitle = {2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010},
publisher = {IEEE},
isbn = {978-1-4244-9555-9},
}