NUST Institutions Library Catalogue catalog › Details for: TH-SOF-1577-A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets

Normal view MARC view ISBD view

TH-SOF-1577-A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets

TextPublisher: ISLAMABAD NUST COLLEGE OF EME 2018Description: CDSubject(s): MS-CSE-14 MSTHESISDDC classification: 200 THE

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

Item type	Current location	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Computer Files	College of Electrical & Mechanical Engineering (CEME)	College of Electrical & Mechanical Engineering (CEME)	REF	Reference	200 THE (Browse shelf)	Available		TH-SOF-1577

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-1580-Implementation of SMART on FHIR in developing countries through SFPBRF	200 THE TH-SOF-1579-EEG Signal Classification using RBF Neural Network Trained with Improved PSO Algorithm for Epilepsy Identification	200 THE TH-SOF-1578-Semantic Analysis of Social Media and Associated Psychotic Behavior	200 THE TH-SOF-1577-A Model-driven Approach for Formal Verification of Embedded Systems Using Timed Colored Petri Nets	200 THE TH-SOF-1576-Formal Verification Approach to Verify System Designs by Utilizing Model Driven Software Engineering (MDSE)	200 THE TH-SOF-1575-Modeling and Control of Battlefield Extraction Assist Robot	200 THE TH-SOF-1574-Design of Universal Joints for Heavy Loads	Next

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer