Keyphrases
Formal Modeling
100%
Sources of Evidence
100%
Signal Acquisition System
100%
Biomedical Signal Acquisition
100%
Microcontroller
25%
Low Power
25%
Frequency Domain Method
25%
Output Signal
25%
Development Time
25%
Safety Requirements
25%
Modeling Methodology
25%
Model Checking Techniques
25%
ARM Cortex-M3
25%
Medical Systems
25%
Colored Petri Nets
25%
Risk System
25%
Media Risk
25%
Defect numbers
25%
Safety Evidence
25%
Single-lead
25%
Heart Rate Monitoring
25%
AD8232
25%
Sigma-delta Converter
25%
Cardiac Monitor
25%
Software-intensive
25%
Computer Science
Signal Acquisition
100%
formal modeling
100%
Biomedical Signal
100%
Electrocardiography
100%
Acquisition System
100%
Reference Model
75%
Case Study
50%
Microcontroller
25%
Model Checking
25%
Time Development
25%
Checking Technique
25%
Composed System
25%
sigma-delta
25%
Generate Evidence
25%
Colored Petri Net
25%
Development Process
25%
Frequency Domain
25%
Engineering
Acquisition System
100%
Signal Acquisition
100%
Reference Model
75%
Defects
50%
Frequency Domain
50%
Time Domain
25%
Front End
25%
Output Signal
25%
Transducer
25%
Amplifier
25%
Development Process
25%
Safety Requirement
25%
System Risk
25%
Early System
25%
Sigma Delta Converter
25%
Microcontroller
25%