{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T18:10:11Z","timestamp":1725127811399},"reference-count":0,"publisher":"PTI","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2023f6208","type":"proceedings-article","created":{"date-parts":[[2023,10,11]],"date-time":"2023-10-11T19:07:11Z","timestamp":1697051231000},"page":"351-357","source":"Crossref","is-referenced-by-count":1,"title":["A modular and verifiable software architecture for interconnected medical systems in intensive care"],"prefix":"10.15439","volume":"37","author":[{"given":"Marc","family":"Wiartalla","sequence":"first","affiliation":[]},{"given":"Frederik","family":"Berg","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Ottersbach","sequence":"additional","affiliation":[]},{"given":"Jan","family":"K\u00fchn","sequence":"additional","affiliation":[]},{"given":"Mateusz","family":"Buglowski","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9","family":"Stollenwerk","sequence":"additional","affiliation":[]}],"member":"6175","published-online":{"date-parts":[[2023,10,11]]},"event":{"name":"18th Conference on Computer Science and Intelligence Systems","start":{"date-parts":[[2023,9,17]]},"end":{"date-parts":[[2023,9,20]]},"acronym":"FedCSIS 2023"},"container-title":["Annals of Computer Science and Information Systems","Communication Papers of the 18th Conference on Computer Science and Intelligence Systems"],"original-title":[],"deposited":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T17:06:22Z","timestamp":1725123982000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_37\/drp\/6208.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.15439\/2023f6208","relation":{},"ISSN":["2300-5963"],"issn-type":[{"type":"print","value":"2300-5963"}],"subject":[],"published":{"date-parts":[[2023,10,11]]}}}