IEEE - Institute of Electrical and Electronics Engineers, Inc. - Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design

2018 IEEE 7th Global Conference on Consumer Electronics (GCCE)

Author(s): Batajoo Amit ; Yojiro Harie ; Katsumi Wasaki
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2018
Conference Location: Nara, Japan, Japan
Conference Date: 9 October 2018
Page(s): 614 - 618
ISBN (CD): 978-1-5386-6308-0
ISBN (Electronic): 978-1-5386-6309-7
DOI: 10.1109/GCCE.2018.8574828
Regular:

This paper explains the modeling and verification of the operational behavior of a virtual reality (VR) tourism system for the architectural design during the system requirement definition phase... View More

Advertisement