TY  - BOOK
AU  - Suresh Kumar N.
AU  - Guided by G. Santhosh Kumar
AU  - Co-guided by A. Sreekumar
TI  - Building design artifacts for formal modeling and verification of IoT protocols
PY  - 2024///
CY  - Kochi
PB  - Department of Computer Science, CUSAT
KW  - IOT -- Protocols -- Software Development Cycle
KW  - Design Artifacts -- IoT Protocol
UR  - http://hdl.handle.net/10603/622136
ER  -