A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.

Kristina Lundqvist Lars Asplund Stephen Mitchell

Published in: Ada-Europe (1999)

Keyphrases

formal model
d objects
formal models
predicate calculus
data sets
neural network
object model
multiple objects
database
data objects
digital objects
individual objects
probabilistic knowledge