Sign in

Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers.

Nicola PaolettiAndrea PatanèMarta Kwiatkowska
Published in: ACM Trans. Cyber Phys. Syst. (2018)
Keyphrases