Research

Computer Sciences and Information Technology

Title :

Verification of concurrent software

Area of research :

Computer Sciences and Information Technology

Focus area :

Information and Communicati on Technology

Principal Investigator :

Dr. Krishnan Narayan Kumar, Professor, Chennai Mathematical Institute (CMI), Siruseri 603103

Timeline Start Year :

2015

Contact info :

Details

Total Budget (INR):

25,77,000

Organizations involved