A type system to assure scope safety within safety-critical Java modules.

Published in: JTRES (2006)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
nuclear power plant
embedded systems
agent architecture
support systems
regulatory requirements
adaptive systems
knowledge based systems
programming language
open source
model checking
decision makers
decision making
real time