{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T07:16:03Z","timestamp":1725779763379},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,9,17]],"date-time":"2022-09-17T00:00:00Z","timestamp":1663372800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,17]],"date-time":"2022-09-17T00:00:00Z","timestamp":1663372800000},"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":[[2022,9,17]]},"DOI":"10.1109\/icaase56196.2022.9931569","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T01:28:03Z","timestamp":1667525283000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Modelling Language for Digital Electronic Systems Design"],"prefix":"10.1109","author":[{"given":"Zakaria","family":"Lakhdara","sequence":"first","affiliation":[{"name":"Constantine 2-Abdelhamid Mehri University,LIRE Laboratory,Constantine,Algeria"}]},{"given":"Naila","family":"Marir","sequence":"additional","affiliation":[{"name":"Constantine 2-Abdelhamid Mehri University,LIRE Laboratory,Constantine,Algeria"}]}],"member":"263","event":{"name":"2022 International Conference on Advanced Aspects of Software Engineering (ICAASE)","start":{"date-parts":[[2022,9,17]]},"location":"Constantine, Algeria","end":{"date-parts":[[2022,9,18]]}},"container-title":["2022 International Conference on Advanced Aspects of Software Engineering (ICAASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9931539\/9931540\/09931569.pdf?arnumber=9931569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,21]],"date-time":"2022-11-21T21:29:53Z","timestamp":1669066193000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9931569\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,17]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/icaase56196.2022.9931569","relation":{},"subject":[],"published":{"date-parts":[[2022,9,17]]}}}