IDR - IIT Kharagpur
Formal Verification of Behavioural Transformations during Embedded System Design
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Karfa, Chandan | |
| dc.date.accessioned | 2012-12-19T05:21:19Z | |
| dc.date.available | 2012-12-19T05:21:19Z | |
| dc.date.issued | 2012-06 | |
| dc.identifier.govdoc | NB14605 | |
| dc.identifier.uri | http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/1579 | |
| dc.language.iso | en | en |
| dc.publisher | IIT Kharagpur | en |
| dc.subject | Embedded System | en |
| dc.title | Formal Verification of Behavioural Transformations during Embedded System Design | en |
| dc.type | Thesis | en |
