Integrating Object-Z with Timed Automata.

Jin Song Dong Roger Duke Ping Hao

Published in: ICECCS (2005)

Keyphrases

timed automata
model checking
object segmentation
object model
moving objects
d objects
keypoints
complex objects
multiple objects
individual objects
neural network
artificial intelligence
knowledge base
spatial relationships
theorem prover
object models