Skip to main content

"Design, verification and synthesis tools for cardiac pacemaker software"