System Verification Environment - SVE.

Klaus Winkelmann Thomas Filkorn

Published in: FTRTFT (1994)

Keyphrases

metadata
multimedia
artificial intelligence
mobile robot
dynamic environments
model checking
indoor environments
real time
information retrieval
video sequences
artificial neural networks
virtual world
changing environment
programming environment