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	621.3 BeiDou GNSS receiver design and implementation on arm cortex A-9 processor (Zynq SoC)	621.3 AEGIS-body area network to assist congestive heart failure patients	621.3 RRT in 3-Dimensional spaces	621.3 Formal verification of voltage profiling in smart grids using PRISM	621.3 E-MAA Pre-natal Remote Monitoring Unit: High Impact, Maximum Outreach	621.3 Enhanced RRT for motion planning in complex cluttered environments	621.3 Sampled Data Stabilization of Inverted Pendulum on a Cart using Sliding Mode Observer	Next

Supervisor;Dr. Osman Hassan

There are no comments on this title.

to post a comment.