A New Approach for Distributing Estelle Specifications.

Eric Lallet Stefan Fischer Jean-François Verdier

Published in: FORTE (1995)

Keyphrases

high level
formal specification
specification language
delay insensitive
computer vision
knowledge base
metadata
multiscale
video sequences
artificial neural networks
reactive systems