1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Formal Verification of Behavioural Transformations during Embedded System Design
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/1579
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKarfa, Chandan
dc.date.accessioned2012-12-19T05:21:19Z
dc.date.available2012-12-19T05:21:19Z
dc.date.issued2012-06
dc.identifier.govdocNB14605
dc.identifier.urihttp://www.idr.iitkgp.ac.in/xmlui/handle/123456789/1579
dc.language.isoenen
dc.publisherIIT Kharagpuren
dc.subjectEmbedded Systemen
dc.titleFormal Verification of Behavioural Transformations during Embedded System Designen
dc.typeThesisen
Appears in Collections:Formal Verification of Behavioural Transformations during Embedded System Design

Files in This Item:
File Description SizeFormat 
NB14605_Abstract.pdf416.89 kBAdobe PDFThumbnail
View/Open
NB14605_Bibliography.pdf647.29 kBAdobe PDFThumbnail
View/Open
NB14605_Introduction.pdf634.3 kBAdobe PDFThumbnail
View/Open
NB14605_Thesis.pdf
  Restricted Access		3.5 MBAdobe PDFView/Open Request a copy
NB14605_TOC.pdf435.65 kBAdobe PDFThumbnail
View/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.