Research
Title : | Formal specification for secured software system |
Area of research : | Computer Sciences and Information Technology |
Focus area : | Secured software system |
Principal Investigator : | Prof. Nabendu Chaki, Professor, Calcutta University (CU), Kolkata |
Timeline Start Year : | 2017 |
Timeline End Year : | 2020 |
Contact info : | nchaki@cucse.org |
Details
Total Budget (INR): | 10,80,000 |
Organizations involved
Implementing Agency : | Prof. Nabendu Chaki, Professor, Calcutta University (CU), Kolkata, West Bengal 700073 Funding Agency :Governo Italiano | |