TY - JOUR AU - Wiartalla, Marc Oliver AU - Berg, Frederik Julius AU - Ottersbach, Florian AU - Kühn, Jan AU - Buglowski, Mateusz AU - Kowalewski, Stefan AU - Stollenwerk, André TI - A modular and verifiable software architecture for interconnected medical systems in intensive care JO - Annals of computer science and information systems VL - 37 SN - 2300-5963 CY - Warsaw PB - Polish Information Processing Society M1 - RWTH-2023-09964 SP - 345-351 PY - 2023 N1 - Datenträger: USB-Stick T2 - 18. Conference on Computer Science and Intelligence Systems CY - 17 Sep 2023 - 20 Sep 2023, Warsaw (Poland) Y2 - 17 Sep 2023 - 20 Sep 2023 M2 - Warsaw, Poland LB - PUB:(DE-HGF)16 ; PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 DO - DOI:10.15439/2023F6208 UR - https://publications.rwth-aachen.de/record/971996 ER -