FDDI Performance Evaluation Based on LOTOS Formal Description Tecnique.

Antonio Martínez Maz Carlos Miguel E. Pérez Angel Fernández

Published in: HPN (1994)

Keyphrases

formal specification
temporal ordering
formal specification language
databases
artificial intelligence
multimedia
training data
expert systems
image analysis
multiresolution
xml documents
hidden markov models