The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms.

Benoît Caillaud

Published in: FORTE (1991)

Keyphrases

computational complexity
computational cost
worst case
computationally efficient
complexity analysis
control program
learning algorithm
real time
data sets
high level
data structure
significant improvement
database
neural network
data model
provably correct