% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@ARTICLE{Wiartalla:971996,
author = {Wiartalla, Marc Oliver and Berg, Frederik Julius and
Ottersbach, Florian and Kühn, Jan and Buglowski, Mateusz
and Kowalewski, Stefan and Stollenwerk, André},
title = {{A} modular and verifiable software architecture for
interconnected medical systems in intensive care},
journal = {Annals of computer science and information systems},
volume = {37},
issn = {2300-5963},
address = {Warsaw},
publisher = {Polish Information Processing Society},
reportid = {RWTH-2023-09964},
pages = {345-351},
year = {2023},
note = {Datenträger: USB-Stick},
month = {Sep},
date = {2023-09-17},
organization = {18. Conference on Computer Science and
Intelligence Systems, Warsaw (Poland),
17 Sep 2023 - 20 Sep 2023},
cin = {122810 / 120000},
cid = {$I:(DE-82)122810_20140620$ / $I:(DE-82)120000_20140620$},
pnm = {BMBF 031L0134B - Alternativmethoden - Verbund: AutoMock -
Entwicklung eines vollautomatisierten in vitro Teststands
(Mock Loop) - Ein künstlicher Kreislauf als Ersatzmethode
zur Biokompatibilitätstestung von Membranoxygenatoren und
zur Transplantationssimulation (BMBF-031L0134B) / DFG
project G:(GEPRIS)447729163 - Sicherheits- und
Automatisierungskonzepte für künstliche implantierbare
Lungen - SmartLungControl (447729163) / DFG project
G:(GEPRIS)313779459 - SPP 2014: Auf dem Weg zur
implantierbaren Lunge (313779459)},
pid = {G:(DE-82)BMBF-031L0134B / G:(GEPRIS)447729163 /
G:(GEPRIS)313779459},
typ = {PUB:(DE-HGF)16 / PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
doi = {10.15439/2023F6208},
url = {https://publications.rwth-aachen.de/record/971996},
}