Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amit Batajoo, Yojiro Harie, Katsumi Wasaki. Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design. In IEEE 7th Global Conference on Consumer Electronics, GCCE 2018, Nara, Japan, October 9-12, 2018. pages 614-618, IEEE, 2018. [doi]

This author has not been identified. Look up 'Amit Batajoo' in GoogleThis author has not been identified. Look up 'Yojiro Harie' in GoogleThis author has not been identified. Look up 'Katsumi Wasaki' in Google

runs on WebDSL