NUST Institutions Library Catalogue catalog › Details for: MS/Thesis:Formal Verification of Internet Worm Propagation Model

Normal view MARC view ISBD view

MS/Thesis:Formal Verification of Internet Worm Propagation Model Misbah Razzaq

By: Razzaq Misbah Material type: Text

TextSeries: (Dr.Jamil Supervisor)Publisher: Islamabad RCMS NUST 2015DDC classification: 004.12 MIS

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Thesis	Central Library (CL)	Central Library (CL)	Thesis	004 (Browse shelf)	Available		CL-T-5992
Thesis	School of Interdisciplinary Engineering and Sciences (SINES)	School of Interdisciplinary Engineering and Sciences (SINES)	Thesis	004.12 MIS (Browse shelf)	Available		RCMS003187

Total holds: 0

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	004 Two Tier Clustering Technique in Vehicular Ad Hoc Networks /	004 Data Flow Based Automated Integration Testing Framework for Object Oriented Programs Using Evolutionary Approach" /	004 Tweakable Enciphering Schemes for Disk Encryption /	004 MS/Thesis:Formal Verification of Internet Worm Propagation Model	004 HIGH RESOLUTION OCT IMAGE GENERATION USING SUPER RESOLUTION VIA SPARSE REPERESENTATION /	004 MS/Thesis: Density Functional Theory Studies on Geometric and Electronic Properties of Anticancer Compounds,DNA Basepairs and Their Complexes	004 Modeling & Formal Verification, Using Model Checking, of an Inverted Pendulum Based Coaxially Parallel , Two wheeled Transportation vehicle	Next

There are no comments on this title.

to post a comment.