Normal view MARC view ISBD view

Modelling and Verification of CoAP using Spin Model checker

By:

Material type: Text

TextLanguage: English Publication details: Kochi 22 Department of Computer Science, 2016Description: 54pDDC classification:

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Department of Computer Science	6057 (Browse shelf(Opens below))	Available		MCS06057

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	6054 Framework for Simulation Software in distributed Environment	6055 Speech Recognituion using deep Learning	6056 Fraud Detection in Online Auction Sites	6057 Modelling and Verification of CoAP using Spin Model checker	6058 Wise Optimizations through Reinforcement Learning Demonstraeted with Simple concepts in gaming and gamification (WORLDs)	6059 Fusion Based Night Video Enhancement	6060 Kaipada:system for Malayalam Handwritten Character Recognition	Next

There are no comments on this title.

to post a comment.