Login / Signup
Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application].
Ramakrishna V. Vishnuvajjala
Satish Subramanian
Wei-Tek Tsai
Lynn Elliott
Ramin Mojdehbakhsh
Published in:
CBMS (1996)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
management system
nuclear power plant
knowledge based systems
adaptive systems
learning systems
real time
artificial intelligence
machine learning
data mining
distributed systems
decision support
support systems