Projects Supported by Ministry of Railways
| Sr. No. | Domain | Project No. | Project Title |
| 1 | Information & Communication Technology | 5496 | FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety Critical ICT Systems |