%D 2018
%I IEEE Computer Society
%A Mohd Anuaruddin Bin Ahmadon
%A Shingo Yamaguchi
%L scholars20377
%V 2018-S
%R 10.1109/ICCE-Berlin.2018.8576174
%J IEEE International Conference on Consumer Electronics - Berlin, ICCE-Berlin
%O Cited by: 6
%T Ontology-supported verification method for implementation of IoT service design with petri net