A modular and verifiable software architecture for interconnected medical systems in intensive care

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]

Authors

Marc Wiartalla

This author has not been identified. Look up 'Marc Wiartalla' in Google

Frederik Berg

This author has not been identified. Look up 'Frederik Berg' in Google

Florian Ottersbach

This author has not been identified. Look up 'Florian Ottersbach' in Google

Jan Kühn

This author has not been identified. Look up 'Jan Kühn' in Google

Mateusz Buglowski

This author has not been identified. Look up 'Mateusz Buglowski' in Google

Stefan Kowalewski

This author has not been identified. Look up 'Stefan Kowalewski' in Google

André Stollenwerk

This author has not been identified. Look up 'André Stollenwerk' in Google