IDR - IIT Kharagpur
Formal Verification of Behavioural Transformations during Embedded System Design
Login
IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Formal Verification of Behavioural Transformations during Embedded System Design
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Formal Verification of Behavioural Transformations during Embedded System Design
Karfa, Chandan
URI:
http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/1579
Date:
2012-06
Show full item record
Files in this item
Name:
NB14605_Abstract.pdf
Size:
416.8Kb
Format:
PDF
View/
Open
Name:
NB14605_Bibliogra ...
Size:
647.2Kb
Format:
PDF
View/
Open
Name:
NB14605_Introduct ...
Size:
634.3Kb
Format:
PDF
View/
Open
Name:
NB14605_Thesis.pdf
Size:
3.418Mb
Format:
PDF
View/
Open
Name:
NB14605_TOC.pdf
Size:
435.6Kb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
Formal Verification of Behavioural Transformations during Embedded System Design
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
