Specifying and Verifying Parametric Processes.

Wieslaw Pawlowski Pawel Paczkowski Stefan Sokolowski

Published in: MFCS (1996)

Keyphrases

real time
data sets
search engine
computer vision
information systems
hidden markov models