Login / Signup
Y. Bhavani
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
High Security
Integrity Verification
Finite State
Colored Petri Nets
Top Venues
Soft Comput.
</>
Publications
</>
P. Kamakshi
,
Y. Bhavani
,
A. Bhaskar
,
B. Kiran Kumar
,
T. Mahesh Kumar
Retraction Note: Verification and modeling of IoT time automata for gateway security system.
Soft Comput.
27 (19) (2023)
P. Kamakshi
,
Y. Bhavani
,
A. Bhaskar
,
B. Kiran Kumar
,
T. Mahesh Kumar
Verification and modeling of IoT time automata for gateway security system.
Soft Comput.
26 (10) (2022)