Login / Signup
Ada 9X and Safety Critical/Secure Systems.
John McHugh
Published in:
TRI-Ada (1992)
Keyphrases
</>
safety critical
fault tolerant
formal methods
embedded systems
agent architecture
support systems
safety analysis
decision making
intelligent systems
expert systems
distributed systems
knowledge based systems
learning systems
reverse engineering
adaptive systems
nuclear power plant