Marc Wiartalla, Frederik Berg, Florian Ottersbach, Jan Kühn, Mateusz Buglowski, Stefan Kowalewski, André Stollenwerk. A modular and verifiable software architecture for interconnected medical systems in intensive care. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, Dominik Slezak, editors, Communication Papers of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023. Volume 37 of Annals of Computer Science and Information Systems, pages 345-351, 2023. [doi]
Abstract is missing.