High Integrity Ada.

Brian A. Wichmann

Published in: SAFECOMP (1997)

Keyphrases

wide range
decision making
preprocessing
integrity constraints
high levels
high correlation
real time
databases
social networks
evolutionary algorithm
multiresolution
hidden markov models
distributed systems
high precision