A Formal Approach to the Specification of Graphic Objects Functions.

Juan Carlos Torres Buenaventura Clares Rodríguez

Published in: Comput. Graph. Forum (1994)

Keyphrases

formal specification
formal methods
specification languages
d objects
operational semantics
reactive systems
object detection
keypoints
database
multiple objects
formal verification
specification language
bounding box
data objects
software engineering
object recognition
computer vision