Research
Title : | Verification of multi-core real-time embedded software systems |
Area of research : | Engineering Sciences |
Focus area : | International Bilateral Cooperation (IBC) |
Principal Investigator : | Dr. M. Mukund Chennai Mathematical Institute Department of Computer Science Tamil Nadu |
Timeline Start Year : | 2020 |
Timeline End Year : | 2021 |
Details
Total Budget (INR): | 41,63,232 |
Organizations involved
Implementing Agency : | Chennai Mathematical Institute Tamil Nadu |
Funding Agency : | Department of Science and Technology (DST) |