Process Specification and Verification.

Klaus Barthelmann

Published in: TAGT (1994)

Keyphrases

formal methods
high level
image sequences
multiresolution
hidden markov models
development process