Login / Signup
On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications.
Fulvio Corno
Paolo Prinetto
Maurizio Rebaudengo
Matteo Sonza Reorda
Maurizio Damiani
Leonardo Impagliazzo
G. Sartore
Published in:
EDCC (1996)
Keyphrases
</>
safety critical
safety analysis
formal methods
fault tolerant
embedded systems
agent architecture
nuclear power plant
support systems
real time
fault model
regulatory requirements
machine learning
object oriented
mobile agents