A. Andrashov

According to our database, A. Andrashov authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Verification of FPGA electronic designs for nuclear reactor trip systems: test- and invariant-based methods.

A. Andrashov, Vyacheslav S. Kharchenko, Vladimir V. Sklyar, L. Reva, V. Dovgopolyi, V. Golovir

Proceedings of the 2010 East-West Design & Test Symposium, 2010