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]
@inproceedings{BorysVG11,
title = {The evidential independent verification of software of information and control systems, critical to safety: Functional model of scenario},
author = {Konorev Borys and Sergiyenko Volodymyr and Chertkov Georgiy},
year = {2011},
doi = {10.1109/EWDTS.2011.6116420},
url = {http://doi.ieeecomputersociety.org/10.1109/EWDTS.2011.6116420},
researchr = {https://researchr.org/publication/BorysVG11},
cites = {0},
citedby = {0},
pages = {263-266},
booktitle = {9th East-West Design & Test Symposium, EWDTS 2011, Sevastopol, Ukraine, September 9-12, 2011},
editor = {Vladimir Hahanov and Yervant Zorian},
publisher = {IEEE},
isbn = {978-1-4577-1957-8},
}