Diagrammatic Specifications.

Dominique Duval

Published in: Math. Struct. Comput. Sci. (2003)

Keyphrases

delay insensitive
data structure
formal specification
specification language
real world
machine learning
image processing
image segmentation
conceptual models
control flow
concurrent systems
bounded model checking