Quantitative Verification of Implantable Cardiac Pacemakers.
Taolue ChenMarco DiciollaMarta Z. KwiatkowskaAlexandru MereacrePublished in: RTSS (2012)
Keyphrases
- model checking
- patient specific
- qualitative and quantitative
- verification method
- face verification
- formal verification
- quantitative and qualitative
- neural network
- cardiac surgery
- wall motion
- formal analysis
- formal methods
- left ventricle
- coronary artery
- signature verification
- information systems
- cardiovascular disease
- asynchronous circuits
- computer vision
- concurrent systems
- information retrieval
- data sets