Login / Signup
MUSE - An Interactive Networked Multimedia Applications Specification Environment with E-LOTOS Translator.
Luciano Paschoal Gaspary
Maria Janilce B. Almeida
Published in:
CAiSE (1998)
Keyphrases
</>
multimedia
tour guide robot
reactive systems
virtual reality
temporal ordering
autonomous agents
computer graphics
dynamic environments
knowledge base
real time
mobile robot
virtual space
database systems
case study
response time
simulation environment
specification language
formal verification