Not finding it? Sign in to also search OpenAlex live.
-
On the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations -
Establishing a Data Quality Baseline in the AKTIN Emergency Department Data Registry – A Secondary Use Perspective2022 Studies in health technology and informatics book-chapter Decision Sciences Data Quality and Management Open access
Lucas Triefenbach, Ronny Otto, Jonas Bienzeisler, Alexander Kombeiz, Saskia Ehrentreich, Rainer Röhrig, +1 more
2citations -
Implementing a Secure CI/CD Pipeline for Verifiable Trust in a Federated Health Data Network2026 Studies in health technology and informatics book-chapter Computer Science Information and Cyber Security Open access
Alexander Kombeiz, Emily Wedek, Simon Hüning, Hauke Heidemeyer, Raphael W. Majeed, Rainer Röhrig, +1 more
0citations