1. DSpace at Indian Statistical Institute
  2. Dissertation and Thesis
  3. Dissertations - M Tech (CS)
Please use this identifier to cite or link to this item: http://hdl.handle.net/10263/6472
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBhattacharjee, Debjyoti-
dc.date.accessioned2016-07-20T16:13:26Z-
dc.date.available2016-07-20T16:13:26Z-
dc.date.issued2015-
dc.identifier.citation62p.en_US
dc.identifier.urihttp://hdl.handle.net/10263/6472-
dc.descriptionDissertation under the supervision of Ansuman Banerjee, ACM Uniten_US
dc.language.isoenen_US
dc.publisherIndian Statistical Institute, Kolkataen_US
dc.relation.ispartofseriesDissertation;15-315-
dc.subjectLTLen_US
dc.subjectDebuggingen_US
dc.subjectBug localizationen_US
dc.subjectBug fix suggestionen_US
dc.titleNew advances in verification and debugging of hardware systemsen_US
dc.typeThesisen_US
Appears in Collections:Dissertations - M Tech (CS)

Files in This Item:
File Description SizeFormat 
DISS-315.pdfDissertation is the original PDF974.43 kBAdobe PDFView/Open
Show simple item record


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