Login / Signup
Inter-Tabular Verification in an Interactive Environment.
Jan Vanthienen
Christophe Mues
Geert Wets
Published in:
EUROVAV (1997)
Keyphrases
</>
mobile robot
real time
graphical interface
user friendly
computer graphics
interactive video
intra class
indoor environments
robotic systems
test bed
model checking
virtual world
multi agent
multiscale
database systems
multimedia
databases
data sets