{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:36:06Z","timestamp":1730223366090,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/gcce.2018.8574828","type":"proceedings-article","created":{"date-parts":[[2018,12,14]],"date-time":"2018-12-14T00:55:47Z","timestamp":1544748947000},"page":"614-618","source":"Crossref","is-referenced-by-count":0,"title":["Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design"],"prefix":"10.1109","author":[{"given":"Batajoo","family":"Amit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yojiro","family":"Harie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsumi","family":"Wasaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"95","article-title":"Developing safety-critical systems: The role of formal methods and tools","author":"heitmeyer","year":"2006","journal-title":"Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software - Volume 55 ser SCS ’05"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/52.199724"},{"key":"ref12","first-page":"9194","article-title":"Implementation of l2\/l3 activity determiner using extended coating graph on petri net tool","author":"mitsui","year":"2017","journal-title":"16th Informatics Science and Technology Forum) Conference Proceedings ser FIT 2017"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.489073"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.1999.810766"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.067"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31797-5_9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/GCCE.2017.8229199"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2012.58"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1995.466946"},{"key":"ref2","first-page":"153","article-title":"Neat models of messy problems: Notes on the interplay between solution- and problem-centered disciplines, and more particularly on the interaction between petri net research and software engineering research","volume":"16","author":"young","year":"2001","journal-title":"Comput Syst Sci Eng"},{"key":"ref1","article-title":"Petri nets and software engineering","author":"denaro","year":"2003","journal-title":"Lectures on Concurrency and Petri Nets"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671100"}],"event":{"name":"2018 IEEE 7th Global Conference on Consumer Electronics (GCCE)","start":{"date-parts":[[2018,10,9]]},"location":"Nara","end":{"date-parts":[[2018,10,12]]}},"container-title":["2018 IEEE 7th Global Conference on Consumer Electronics (GCCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8555972\/8574475\/08574828.pdf?arnumber=8574828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T04:43:08Z","timestamp":1643258588000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8574828\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/gcce.2018.8574828","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}