Joseline Heuer, Rene Krenz-Baath, Roman Obermaisser. Verifying Bio-Electronic Systems. In Maksim Jenihhin, Hana Kubátová, Nele Metens, Jaan Raik, Foisal Ahmed, Jan Belohoubek, editors, 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2023, Tallinn, Estonia, May 3-5, 2023. pages 161-166, IEEE, 2023. [doi]
Abstract is missing.