Login / Signup
Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems.
Geoffrey Nelissen
Humberto Carvalho
David Pereira
Eduardo Tovar
Published in:
RTAS (2016)
Keyphrases
</>
safety critical
real time
formal methods
safety analysis
nuclear power plant
fault tolerant
embedded systems
agent architecture
adaptive systems
support systems
distributed systems
low cost
health monitoring
expert systems
cooperative
artificial intelligence
information systems