Cardiorespiratory and cardiovascular interactions in cardiomyopathy patients using joint symbolic dynamic analysis.
Beatriz F. GiraldoJavier RodriguezPere CaminalAntonio Bayes-GenisAndreas VossPublished in: EMBC (2015)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- cardiovascular disease
- blood pressure
- heart disease
- clinical trials
- medical data
- model checking
- medical diagnosis
- heart rate
- clinical diagnosis
- software engineering
- malicious behavior
- symbolic representation
- risk factors
- source code
- cardiac surgery
- abstract interpretation
- patient data
- high risk
- real world
- high level