Specification with Class: A Brief History of Object-Z.

Graeme Smith David J. Duke

Published in: FM Workshops (2) (2019)

Keyphrases

object classes
object tracking
high level
moving objects
object model
object segmentation
neural network
object instances
d objects
databases
complex objects
data objects
lighting conditions
object class
object level
formal verification
individual objects