Asynchronous event handling and safety critical Java.

Andy J. Wellings MinSeong Kim

Published in: JTRES (2010)

Keyphrases

safety critical
fault tolerant
formal methods
nuclear power plant
safety analysis
agent architecture
embedded systems
object oriented
support systems
open source
programming language
source code
adaptive systems
regulatory requirements
database applications
web services
intelligent agents
management system
real time