1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering
  4. Formal Methods for Early Time-Budgeting in Component Based Embedded Control Systems
Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/1479
Title: Formal Methods for Early Time-Budgeting in Component Based Embedded Control Systems
Authors: Gangadhar, Dixit Manoj
Issue Date: Feb-2012
Publisher: IIT Kharagpur
Gov't Doc #: NB14550
URI: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/1479
Appears in Collections:Formal Methods for Early Time-Budgeting in Component Based Embedded Control Systems

Files in This Item:
File Description SizeFormat 
NB14550.pdf
  Restricted Access		13.49 MBAdobe PDFView/Open Request a copy
NB14550_Abstract.pdf251.06 kBAdobe PDFThumbnail
View/Open
Show full item record


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