% 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}, }