Building design artifacts for formal modeling and verification of IoT protocols (Record no. 113957)

MARC details
000 -LEADER
fixed length control field 00706nam a22001937a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251114155922.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 241123b |||||||| |||| 00| 0 eng d
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 004.738.5.057.4
Item number SUR/B
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Suresh Kumar N.
245 ## - TITLE STATEMENT
Title Building design artifacts for formal modeling and verification of IoT protocols
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc Department of Computer Science, CUSAT
Place of publication, distribution, etc Kochi
Date of publication, distribution, etc 2024
300 ## - PHYSICAL DESCRIPTION
Extent xviii,196p.
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term IOT -- Protocols -- Software Development Cycle
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Design Artifacts -- IoT Protocol
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Guided by G. Santhosh Kumar
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Co-guided by A. Sreekumar
856 ## - ELECTRONIC LOCATION AND ACCESS
Link text http://hdl.handle.net/10603/622136
Uniform Resource Identifier http://hdl.handle.net/10603/622136
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Theses
Holdings
Lost status Source of classification or shelving scheme Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
  Universal Decimal Classification   University Library University Library 23/11/2024   004.738.5.057.4 SUR/B T T0002173 23/11/2024 23/11/2024 Theses
University Library, CUSAT