Login / Signup
Verification of an advanced space teleoperation system using Internet.
Yuichi Tsumaki
Toshihiko Goshozono
Koyu Abe
Masaru Uchiyama
Ralf Koeppe
Gerd Hirzinger
Published in:
IROS (2000)
Keyphrases
</>
model checking
handwritten signature verification
space time
web technologies
genetic algorithm
search algorithm
search space
low dimensional
petri net
parameter space
degrees of freedom
world wide
formal methods
world wide web
formal verification
web enabled