Media type: Electronic Conference Proceeding Title: A modular and verifiable software architecture for interconnected medical systems in intensive care Contributor: Wiartalla, Marc; Berg, Frederik; Ottersbach, Florian; Kühn, Jan; Buglowski, Mateusz; Kowalewski, Stefan; Stollenwerk, André imprint: PTI, 2023 Published in: Annals of Computer Science and Information Systems Extent: Language: Not determined DOI: 10.15439/2023f6208 ISSN: 2300-5963 Origination: Footnote: Access State: Open Access