J Heuer,
R Krenz-Bååth… - 2023 26th International …, 2023 - ieeexplore.ieee.org
The functional safety of implanted medical devices is of high importance. This works
presents a novel concept to verify bio-electronic systems modeling the medical device in …