search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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