IDR - IIT Kharagpur
Formal Methods for Early Time-Budgeting in Component Based Embedded Control Systems
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Gangadhar, Dixit Manoj | |
| dc.date.accessioned | 2012-05-07T11:09:02Z | |
| dc.date.available | 2012-05-07T11:09:02Z | |
| dc.date.issued | 2012-02 | |
| dc.identifier.govdoc | NB14550 | |
| dc.identifier.uri | http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/1479 | |
| dc.language.iso | en | en |
| dc.publisher | IIT Kharagpur | en |
| dc.title | Formal Methods for Early Time-Budgeting in Component Based Embedded Control Systems | en |
| dc.type | Thesis | en |
