| 000 | 00706nam a22001937a 4500 | ||
|---|---|---|---|
| 005 | 20251114155922.0 | ||
| 008 | 241123b |||||||| |||| 00| 0 eng d | ||
| 080 |
_a004.738.5.057.4 _bSUR/B |
||
| 100 | _aSuresh Kumar N. | ||
| 245 | _aBuilding design artifacts for formal modeling and verification of IoT protocols | ||
| 260 |
_bDepartment of Computer Science, CUSAT _aKochi _c2024 |
||
| 300 | _axviii,196p. | ||
| 653 | _aIOT -- Protocols -- Software Development Cycle | ||
| 653 | _aDesign Artifacts -- IoT Protocol | ||
| 700 | _aGuided by G. Santhosh Kumar | ||
| 700 | _aCo-guided by A. Sreekumar | ||
| 856 |
_yhttp://hdl.handle.net/10603/622136 _uhttp://hdl.handle.net/10603/622136 |
||
| 942 | _cTH | ||
| 999 |
_c113957 _d113956 |
||