NUST Institutions Library Catalogue catalog › Details for: A Model Driven Framework with Assertion Based Verification Support for Embedded Systems Design Automation/

Normal view MARC view ISBD view

A Model Driven Framework with Assertion Based Verification Support for Embedded Systems Design Automation/ Muhammad Waseem Anwar

TextPublisher: Rawalpindi: NUST COLLEGE OF EME, 2021Subject(s): PhD 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-180
Reference	College of Electrical & Mechanical Engineering (CEME)	College of Electrical & Mechanical Engineering (CEME)	Reference	200 THE (Browse shelf)	Not for loan		TH-SOF-1874

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 THE TH-SOF-1871-Design of Fixed Frequency Sliding Mode Controllers for Fourth Order Class-D Amplifier	200 THE TH-SOF-1872-Characterization of Fused Deposition Modelling (FDM) Parts Produced Using Different Polymer Grades and Comparison through Statistical Modelling	200 THE TH-SOF-1873-A Novel Image Steganographic Framework for Efficient Embedding Capacity and Stego Quality	200 THE A Model Driven Framework with Assertion Based Verification Support for Embedded Systems Design Automation/	200 THE TH-SOF-1875-Automatic Prostate Cancer Grading Using Deep Architectures	200 THE TH-SOF-1877-CNN and Ensemble Learning for Brain Tumor Segmentation and Survival Prediction	200 THE TH-SOF-1878-Weight and Cluster based Testcase Prioritization Technique	Next

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer