eprintid: 20377
rev_number: 3
eprint_status: archive
userid: 1
dir: disk0/00/02/03/77
datestamp: 2025-11-06 06:21:08
lastmod: 2025-11-06 06:21:08
status_changed: 2025-11-06 06:21:08
type: conference_item
metadata_visibility: show
creators_name: Ahmadon, Mohd Anuaruddin Bin
creators_name: Yamaguchi, Shingo
title: Ontology-supported verification method for implementation of IoT service design with petri net
ispublished: pub
note: Cited by: 6
date: 2018
publisher: IEEE Computer Society
official_url: https://www.scopus.com/inward/record.uri?eid=2-s2.0-85060272111&doi=10.1109%2fICCE-Berlin.2018.8576174&partnerID=40&md5=8c31eb1e330c48f107921d54d45bf004
id_number: 10.1109/ICCE-Berlin.2018.8576174
full_text_status: none
publication: IEEE International Conference on Consumer Electronics - Berlin, ICCE-Berlin
volume: 2018-S
refereed: TRUE
isbn: 978-153866095-9
issn: 21666814
citation:   Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo  (2018) Ontology-supported verification method for implementation of IoT service design with petri net.  In: UNSPECIFIED.