Konorev Borys, Sergiyenko Volodymyr, Chertkov Georgiy. The evidential independent verification of software of information and control systems, critical to safety: Functional model of scenario. In Vladimir Hahanov, Yervant Zorian, editors, 9th East-West Design & Test Symposium, EWDTS 2011, Sevastopol, Ukraine, September 9-12, 2011. pages 263-266, IEEE, 2011. [doi]
Abstract is missing.