Login / Signup
Real-time specification and modeling with joint actions.
Reino Kurki-Suonio
Kari Systä
Jüri Vain
Published in:
IWSSD (1991)
Keyphrases
</>
real time
low cost
vision system
modeling method
high level
formal specification
action language
databases
artificial intelligence
computer vision
knowledge base
object oriented