{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:05:07Z","timestamp":1730221507572,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/ewdts.2018.8524869","type":"proceedings-article","created":{"date-parts":[[2018,11,8]],"date-time":"2018-11-08T18:21:03Z","timestamp":1541701263000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Design of Logical Control Units Based on Finite State Machines' Patterns"],"prefix":"10.1109","author":[{"given":"Maryna","family":"Miroshnyk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergii","family":"Poroshyn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Shkil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elvira","family":"Kulak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inna","family":"Filippenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dariia","family":"Kucherenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuriy","family":"Pakhomov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salfetnikova","family":"Juliia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maksym","family":"Goga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"258","author":"harel","year":"1998","journal-title":"Modeling Reactive Systems with Statecharts"},{"key":"ref3","first-page":"689","author":"lee","year":"2007","journal-title":"Handbook of Real-Time and Embedded Systems"},{"key":"ref10","first-page":"240","author":"tocenko","year":"1985","journal-title":"Algorithms for the technical diagnosis of digital devices"},{"key":"ref6","first-page":"117","article-title":"Design automation of easy-tested digital finite state machines","volume":"2","author":"shkil","year":"2018","journal-title":"Radio Electronics Computer Science Control"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MECO.2015.7181896"},{"key":"ref8","first-page":"51","article-title":"State Machine Design Pattern","author":"shalyto","year":"2006","journal-title":"NET Technologies 2006 - Shot communication papers conference proceedings 4-th International Conference in Central Europe on Net Technologies"},{"key":"ref7","first-page":"381","author":"haskell","year":"2009","journal-title":"Digital Design Using Digilent FPGA Boards - VHDL \/ Active-HDL Edition"},{"key":"ref2","first-page":"267","author":"baranov","year":"2008","journal-title":"Logic and System Design of Digital Systems"},{"key":"ref9","first-page":"356c","author":"matushin","year":"2017","journal-title":"Programming microcontrollers Strategy and tactics"},{"key":"ref1","first-page":"167","author":"shalyto","year":"2011","journal-title":"Automata-based Programming"}],"event":{"name":"2018 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2018,9,14]]},"location":"Kazan","end":{"date-parts":[[2018,9,17]]}},"container-title":["2018 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8502702\/8524135\/08524869.pdf?arnumber=8524869","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,10]],"date-time":"2018-12-10T19:48:56Z","timestamp":1544471336000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8524869\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2018.8524869","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}