Login / Signup
Thermal Monitoring Of Safety-Critical Integrated Systems.
Vladimír Székely
Márta Rencz
Jean-Michel Karam
Marcelo Lubaszewski
Bernard Courtois
Published in:
Asian Test Symposium (1996)
Keyphrases
</>
safety critical
formal methods
nuclear power plant
fault tolerant
embedded systems
support systems
distributed systems
intelligent systems
safety analysis
cooperative
management system
agent architecture
machine learning
artificial intelligence
expert systems