Specifying subtypes in Safety Critical Java programs.

Ghaith Haddad Gary T. Leavens

Published in: Concurr. Comput. Pract. Exp. (2013)

Keyphrases

safety critical
java programs
formal methods
fault tolerant
multi threaded
agent architecture
embedded systems
safety analysis
software components
support systems
adaptive systems
real time
test suite
load balancing
learning systems
database systems
software systems
decision support system
data mining