{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T04:53:44Z","timestamp":1749099224839},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T00:00:00Z","timestamp":1683072000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T00:00:00Z","timestamp":1683072000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,3]]},"DOI":"10.1109\/ddecs57882.2023.10139574","type":"proceedings-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T19:34:34Z","timestamp":1685734474000},"page":"161-166","source":"Crossref","is-referenced-by-count":1,"title":["Verifying Bio-Electronic Systems"],"prefix":"10.1109","author":[{"given":"Joseline","family":"Heuer","sequence":"first","affiliation":[{"name":"Hochschule Hamm-Lippstadt,Hamm,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9","family":"Krenz-B\u00e5\u00e5th","sequence":"additional","affiliation":[{"name":"Hochschule Hamm-Lippstadt,Hamm,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Obermaisser","sequence":"additional","affiliation":[{"name":"Institute for Embedded Systems University of Siegen,Siegen,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3389\/fphar.2019.01640"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.repc.2020.08.005"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8159.2008.01226.x"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s12553-022-00680-9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8159.1999.tb00515.x"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-021-97314-3"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.measen.2021.100053"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3386328"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3152767"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2010.28"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0227709"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3134845"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1631\/jzus.B1900632"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0289-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.5220\/0005153900550059"}],"event":{"name":"2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)","start":{"date-parts":[[2023,5,3]]},"location":"Tallinn, Estonia","end":{"date-parts":[[2023,5,5]]}},"container-title":["2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10139314\/10138940\/10139574.pdf?arnumber=10139574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T17:53:35Z","timestamp":1687802015000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10139574\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,3]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ddecs57882.2023.10139574","relation":{},"subject":[],"published":{"date-parts":[[2023,5,3]]}}}