A Safety-Critical Java Technology Compatibility Kit.

Hans Søndergaard Stephan Erbs Korsholm Anders P. Ravn

Published in: JTRES (2014)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
nuclear power plant
embedded systems
support systems
agent architecture
regulatory requirements
adaptive systems
database
real time
multi agent systems
user interface
database applications
software systems