TY  - CONF
PB  - IEEE Computer Society
ID  - scholars20377
UR  - https://www.scopus.com/inward/record.uri?eid=2-s2.0-85060272111&doi=10.1109%2fICCE-Berlin.2018.8576174&partnerID=40&md5=8c31eb1e330c48f107921d54d45bf004
AV  - none
A1  - Ahmadon, Mohd Anuaruddin Bin
A1  - Yamaguchi, Shingo
Y1  - 2018///
N1  - Cited by: 6
SN  - 21666814
VL  - 2018-S
TI  - Ontology-supported verification method for implementation of IoT service design with petri net
ER  -