Algebraic Specification of Synchronisation and Errors: A Telephonic Example.

Brigitte Biebow Jacques Hagelstein

Published in: TAPSOFT, Vol.2 (1985)

Keyphrases

high level
formal specification
error analysis
image processing
database
data sets
neural network
artificial intelligence
web services
three dimensional
hidden markov models
formal methods
error detection
segmentation errors
asynchronous circuits
algebraic structure