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 |