Specification versus implementation based on Estelle.

László Kovács András Ercsényi

Published in: Comput. Commun. Rev. (1986)

Keyphrases

specification language
high level
data mining
efficient implementation
computer vision
feature selection
knowledge base
mobile robot
probabilistic model
formal specification
implementation issues