Applying Java™ Technologies to Mission-Critical and Safety-Critical Development.

Kelvin Nilsen Adrian Larkham

Published in: SSS (2005)

Keyphrases

safety critical
mission critical
support systems
fault tolerant
formal methods
agent architecture
embedded systems
safety analysis
adaptive systems
software engineering
knowledge based systems
decision support system
web applications
source code
open source
real time systems
cooperative
case study
databases