The Safety-Critical Java Mission Model: A Formal Account.

Frank Zeyda Ana Cavalcanti Andy J. Wellings

Published in: ICFEM (2011)

Keyphrases

safety critical
real time
databases
high level
safety analysis
data mining
knowledge base
case based reasoning
open source