{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T14:46:54Z","timestamp":1748530014829,"version":"3.28.0"},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/ewdts.2016.7807712","type":"proceedings-article","created":{"date-parts":[[2017,1,9]],"date-time":"2017-01-09T16:42:59Z","timestamp":1483980179000},"page":"1-4","source":"Crossref","is-referenced-by-count":12,"title":["Algebraic models of digital system design debugging decomposition"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Ivannikov","sequence":"first","affiliation":[]},{"given":"Vladimir","family":"Kulagin","sequence":"additional","affiliation":[]},{"given":"Aleksandr","family":"Romanov","sequence":"additional","affiliation":[]},{"given":"Boris","family":"Pozdneev","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"235","article-title":"For the algebraic treatment of programming","author":"liapunov","year":"1962","journal-title":"the book Problemi kibern etiki “Nauka"},{"key":"ref3","article-title":"The synthesis approach to digital system design","volume":"170","author":"petra","year":"2012","journal-title":"Springer Science & Business Media"},{"article-title":"Set-theoretic Model of DigitalSystems Functioning","year":"0","author":"ivannikov","key":"ref2"},{"key":"ref1","article-title":"Co-synthesis of hardware and software for digital embedded systems","volume":"329","author":"kumar","year":"2012","journal-title":"Springer Science & Business Media"}],"event":{"name":"2016 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2016,10,14]]},"location":"Yerevan, Armenia","end":{"date-parts":[[2016,10,17]]}},"container-title":["2016 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7794989\/7807620\/07807712.pdf?arnumber=7807712","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,1,21]],"date-time":"2017-01-21T00:02:26Z","timestamp":1484956946000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7807712\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2016.7807712","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}