Building design artifacts for formal modeling and verification of IoT protocols
Publication details: Department of Computer Science, CUSAT Kochi 2024Description: xviii,196pSubject(s): Online resources:| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Theses
|
University Library | 004.738.5.057.4 SUR/B T (Browse shelf(Opens below)) | Not for loan | T0002173 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 004.738.5.057.4 PAN TCP/IP essentials: a lab- based approach | 004.738.5.057.4 ROM Multiple access protocols: Performance and analysis | 004.738.5.057.4 STA Computer networking with internet protocols and technology | 004.738.5.057.4 SUR/B T Building design artifacts for formal modeling and verification of IoT protocols | 004.738.5.057.4 WRI.2 TCP/IP illustrated, volume 2: the implementation | 004.738.5.057.4COM.1 Internetworking with TCP/IP: principles, protocols, and architectures | 004.738.5.057.4GOS Internet protocols |
There are no comments on this title.