NUST Institutions Library Catalogue catalog › Details for: Formal Verification of Embedded Systems

Normal view MARC view ISBD view

Formal Verification of Embedded Systems Sajjad Ali

By: Ali, Sajjad (MSCS-19)Publisher: Rawalpindi MCS,NUST 2015Description: x, 89 pSubject(s): PG Thesis | MSCS-19DDC classification: 005.1

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

Holdings ( 3 )
Title notes ( 1 )
Comments ( 0 )

Item type	Current location	Home library	Collection	Shelving location	Call number	URL	Status	Barcode
	Central Library (CL)	Central Library (CL)		Thesis	004 (Browse shelf)		Available	CL-T-909
	Central Library (CL)	Central Library (CL)		Thesis	004 (Browse shelf)		Available	CL-T-904
Book	Military College of Signals (MCS)	Military College of Signals (MCS)	NFIC		005.1 ALI (Browse shelf)	Link to resource	Available	MCSTCS-356

Total holds: 0

Introduction (Page-1) Literature Review (Page-10) Proposed Methodology (Page-21) Preliminaries (Page-29) Case Studies (Page-35) Results and Discussion, Future work and Conclusion (Page-75)

There are no comments on this title.

to post a comment.