Alexander Drozd, Vyacheslav S. Kharchenko, Svetlana Antoshchuk, J. Sulima, Miroslav Drozd. Checkability of the digital components in safety-critical systems: Problems and solutions. In Vladimir Hahanov, Yervant Zorian, editors, 9th East-West Design & Test Symposium, EWDTS 2011, Sevastopol, Ukraine, September 9-12, 2011. pages 411-416, IEEE, 2011. [doi]
Abstract is missing.