Verifying Bio-Electronic Systems. - Joseline Heuer; Rene Krenz-Baath; Roman Obermaisser (DDECS, 2023)

Human-heart-model for hardware-in-the-loop testing of pacemakers. - Joseline Heuer; Rene Krenz-Baath; Roman Obermaisser (Comput. Biol. Medicine, 2024)