Safety critical Java™ technology.

C. Douglass Locke

Published in: JTRES (2006)

Keyphrases

safety critical
fault tolerant
formal methods
agent architecture
safety analysis
embedded systems
nuclear power plant
support systems
regulatory requirements
adaptive systems
real time
artificial intelligence
e learning
software agents