NUST Institutions Library Catalogue catalog › Details for: Formal verification of voltage profiling in smart grids using PRISM

Normal view MARC view ISBD view

Formal verification of voltage profiling in smart grids using PRISM

By: Awais Mahmood Material type: Text

TextPublisher: NUST SEECS Islamabad NUST SEECS Islamabad 2014Description: 60DDC classification: BEE.2,PR.1544 Online resources: Click here to access online

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	621.3 (Browse shelf)	WITHDRAWN		CL-BP-708
Project Report	Central Library (CL)	Central Library (CL)	General Stacks	BEE.2,PR.1544 (Browse shelf)	WITHDRAWN		SEECSP01544

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	BE-EE-3 TAL Multi Agent Robotic System Design for Team NUST in RoboCup SPL	BEE.2.PR.1542 SALIENCY DETECTION IN VIDEO ADVERTISEMENTS USING GAZE ANALYSIS	BEE_2 HAM Wireless sensor nodes based automatic irrigation	BEE.2,PR.1544 Formal verification of voltage profiling in smart grids using PRISM	BEE.2,PR.1558 Prepaid Energy metering system	BEE-1 ABD One cycle control based maximum power point tracking & power factor correction inverter for PV energy conversion system	BEE-1 AHM Underwater surveying robot	Next

Supervisor;Dr. Osman Hassan

There are no comments on this title.

to post a comment.