Keyphrases
Wireless
100%
Runtime Verification
100%
Decision Support System
100%
Data-centric
100%
Medical Cyber-physical Systems
100%
Temporal Properties
60%
Time-varying Data
40%
Verifier
40%
Systems-based
20%
Simulation-based
20%
Medical Care
20%
Medical Devices
20%
Text-dependent
20%
Healthcare
20%
Medical Practice
20%
Event Sequences
20%
Device Property
20%
Experiment Results
20%
Real-time Data Analysis
20%
Huge Amounts of Data
20%
Current Simulation
20%
Clinical Practice Guidelines
20%
Everyday Practices
20%
Automata
20%
Practice Scenario
20%
Automatically Generate
20%
Formal Verification
20%
Data Sampling
20%
Human Inspection
20%
Domain-specific Languages
20%
Workflow Simulation
20%
System Inspection
20%
Medical Decision Support System
20%
Clinical Healthcare
20%
Critical Disease
20%
Real-time Warning
20%
Practice of Medicine
20%
Wireless Medical Sensors
20%
Wireless Medical Device
20%
Computer Science
runtime verification
100%
Decision Support System
100%
Medical Cyber - Physical System
100%
temporal property
50%
Health Care
33%
Collected Data
16%
Workflow
16%
Automaton
16%
Formal Verification
16%
Domain-specific languages
16%
Medical Cyber-Physical Systems
16%
Medical Practice
16%