1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering

Formal Methods for Early Time-Budgeting in Component Based Embedded Control Systems Collection home page

Author : Dixit Manoj Gangadhar
Supervisor : Prof. Pallab Dasgupta (IIT Kharagpur) and Dr. S. Ramesh (GM R&D)
DEPARTMENT OF COMPUTER SCIENCE & ENGINEERING INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR FEBRUARY 2012

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
Issue DateTitleAuthor(s)
2012-02Formal Methods for Early Time-Budgeting in Component Based Embedded Control SystemsGangadhar, Dixit Manoj
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1

Discover

Date issued
Has File(s)