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 |
Contact info : | nchaki@cucse.org |
Timeline Start Year : | 2017 |
Timeline End Year : | 2020 |
Total Budget (INR): | 10,80,000 |
Details
Organizations involved
Implementing Agency : | Prof. Nabendu Chaki, Professor, Calcutta University (CU), Kolkata, West Bengal 700073 Funding Agency :Governo Italiano | |