Back to Search Start Over

Formal Modelling and Validation of Rate−Adaptive Pacemakers

Authors :
Marta Kwiatkowska
Harriet Lea−Banks
Alexandru Mereacre
Nicola Paoletti
Publication Year :
2016

Details

Database :
OpenAIRE
Accession number :
edsair.dedup.wf.001..2a5482038e9a92be6d6ee189ac6b7354

Tools

Authors Abstract Subjects Details