![](/img/cover-not-exists.png)
[IEEE 2013 11th East-West Design and Test Symposium (EWDTS) - Rostov-on-Don, Russia (2013.09.27-2013.09.30)] East-West Design & Test Symposium (EWDTS 2013) - Invariant-oriented verification of HDL-based safety critical systems
Kharchenko, V., Konorev, B., Sklyar, V., Reva, L.Year:
2013
Language:
english
DOI:
10.1109/ewdts.2013.6673160
File:
PDF, 277 KB
english, 2013