Login / Signup
Verification Method Implementation Based on Standard Virtual Measurement Instruments.
Aleksey M. Abramov
Sergey G. Gurzhin
Vladimir I. Zhulev
Evgeniy M. Proshin
Andrey V. Shulyakov
Published in:
MECO (2019)
Keyphrases
</>
verification method
temporal logic
artificial intelligence
virtual environment
augmented reality
data sets
multimedia
wide range
information technology
special case
mobile robot
medical images
virtual world
model checking