Login / Signup
Ajay Ry
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
High Dimensional Data
Streaming Data
Data Mining Algorithms
Sliding Window
Top Venues
CCSEIT
</>
Publications
</>
Aditya Sinha
,
Ajay Ry
,
Sanjay Singh
Modeling & verification of Sliding Window Protocol with data loss and intruder detection using NuSMV.
CCSEIT
(2012)