NUST Institutions Library Catalogue catalog › Details for: Automation of software modeling and verification /

Normal view MARC view ISBD view

Automation of software modeling and verification / Sidra Sultan.

By: Sultana, SidraContributor(s): Supervisor:Dr. Fahim Arif Material type: Text

TextPublisher: Rawalpindi: MCS NUST, 2018Description: 121 p. : ill. ; 30,cmSubject(s): Ph. D - Thesis.Computer Software EngineeringDDC classification: 200 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
Soft Copy	Central Library (CL)	Central Library (CL)	Thesis	200 (Browse shelf)	Available		CLPT-213

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	200 Analysis of Pakistan's Disaster Management System to Recommend and Optimized Practical Workable Model Duly Encompassing Supply Chain Aspects /	200 Modelling and LQR Based Linearized Control Strategy of Quad Rotor AirCraft /	200 Measurement System Analysis: Gage Repeatability & Reproducibility evaluation of a Quality Control Laboratory involved in discrete custom-made products’ inspection /	200 Automation of software modeling and verification /	200 Fuzzy Cooperative Control for a Team of Mobile Robots /	200 Governor Control of Hydro Power System Using Fuzzy PID Controller /	200 Pitch and Torque Control of Variable Speed Wind Turbine using Self-Learning Neuro Fuzzy Controller /	Next

There are no comments on this title.

to post a comment.