%0 Conference Paper %A Ahmadon, Mohd Anuaruddin Bin %A Yamaguchi, Shingo %D 2018 %F scholars:20377 %I IEEE Computer Society %R 10.1109/ICCE-Berlin.2018.8576174 %T Ontology-supported verification method for implementation of IoT service design with petri net %U https://khub.utp.edu.my/scholars/20377/ %V 2018-S %Z Cited by: 6