Login / Signup
Harmonizing intra- and inter-object specification and verification: a multi-object logics approach.
Hans-Dieter Ehrich
Published in:
ACM SIGSOFT Softw. Eng. Notes (2005)
Keyphrases
</>
multi object
multiple objects
human perception
object detection and tracking
model checking
motion analysis
motion trajectories