Author Info
Name
Affiliation
Papers
MUHAMMAD SYAFIQ BIN AB MALEK
Yamaguchi Univ, Grad Sch Sci & Technol Innovat, 2-16-1 Tokiwadai, Ube, Yamaguchi 7558611, Japan
4
Collaborators
Citations 
PageRank 
4
0
1.35
Referers 
Referees 
References 
0
9
3
Title
Citations
PageRank
Year
A Model Checking-Based Analysis Method of Cyber Attack in IoT System by Agent-Oriented Petri Net.00.342018
A tailor-made service design support tool based on aspect-oriented timed Petri net.00.342017
On Privacy Verification In The Iot Service Based On Pn200.342016
Petri Net-Based Parallel Model Checking With A Splitting Procedure00.342015