FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety- Critical ICT Systems

Submitted by user123 on Sat, 07/24/2021 - 12:32

Funded By

IMPRINT Program and Indian Railways

Project Investigator

Pallab Dasgupta