VIVO
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Modelling and Verification of CoAP over Routing Layer Using SPIN Model Checker
Academic Article
http://dx.doi.org/10.1016/j.procs.2016.07.214
Overview
Additional Document Info
View All
Overview
authors
Vattakunnel, Anchal J.
Kumar, N. Suresh
G, Santhosh Kumar
publication date
January 1, 2016
published in
Procedia Computer Science
Journal
Additional Document Info
number of pages
9
start page
299
end page
308
volume
93