Example of a formal flow violation.

Jonathan K. Millen

Published in: COMPSAC (1978)

Keyphrases

flow field
formal specification
formal model
information flow
significant improvement
formal language
data mining
image processing
image segmentation
three dimensional
image sequences
information technology
multiresolution
formal analysis
formal representation
constraint violations