{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:39:27Z","timestamp":1725485967600},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/ewdts.2015.7493181","type":"proceedings-article","created":{"date-parts":[[2016,6,17]],"date-time":"2016-06-17T00:15:55Z","timestamp":1466122555000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Method for functional testing critical control systems"],"prefix":"10.1109","author":[{"given":"Konstantin","family":"Gerasimenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Hahanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamer Bani","family":"Amer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksey","family":"Pryimak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2009","key":"ref4"},{"key":"ref3","first-page":"159","author":"kharchenko","year":"2004","journal-title":"Methods for modeling and evaluation of software quality and reliability"},{"key":"ref6","first-page":"71","article-title":"Structure of logic associative multiprocessor","author":"bondarenko","year":"2012","journal-title":"Automation and Remote control Russia"},{"key":"ref5","first-page":"45","article-title":"The method of increments for improving the testability of logic circuits of control critical systems","author":"gerasimenko","year":"2012","journal-title":"Radioelectronic and informatics"},{"key":"ref2","first-page":"50","article-title":"The concept of dependability and its applications for NPP I&C systems","author":"kharchenko","year":"2007","journal-title":"Nuclear and Radiation Safety"},{"key":"ref1","first-page":"40","article-title":"Regulation and evaluation of safety on information control systems (9): The evaluation procedure and dataware","author":"yastrebenetsky","year":"2002","journal-title":"Nuclear and Radiation Safety"}],"event":{"name":"2015 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2015,9,26]]},"location":"Batumi, Georgia","end":{"date-parts":[[2015,9,29]]}},"container-title":["2015 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7488713\/7493093\/07493181.pdf?arnumber=7493181","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T21:18:31Z","timestamp":1489785511000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7493181\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2015.7493181","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}