Login / Signup
Mohammed Shaikh
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Model Checking
Coloured Petri Nets
Genetic Algorithm
Multiscale
Top Venues
Int. J. Crit. Comput. Based Syst.
</>
Publications
</>
Sheetal Gokhale
,
Irfan A. Siddavatam
,
Ashwini Dalvi
,
Mohammed Shaikh
,
Suchitra Patil
Formal modelling and verification of high interactive honeypot using coloured Petri nets.
Int. J. Crit. Comput. Based Syst.
10 (3) (2022)