Login / Signup
LC Oscillator Driver for Safety Critical Applications.
Pavel Horsky
Published in:
DATE (2005)
Keyphrases
</>
safety critical
formal methods
fault tolerant
safety analysis
agent architecture
embedded systems
nuclear power plant
support systems
adaptive systems
regulatory requirements
road traffic
case based reasoning
artificial intelligence
databases
intelligent agents
decision support
multi agent systems
decision making