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%
temporal property
100%
Medical Cyber - Physical System
100%
Health Care
66%
Collected Data
33%
Workflow
33%
Automaton
33%
Formal Verification
33%
Medical Cyber-Physical Systems
33%
Domain-Specific Language
33%
Medical Practice
33%