The Center for Computational  Engineering and Networking, Amrita School of Engineering, Coimbatore organized a workshop on Formal Methods for Software Design and Verifications on January 10, 2015. The workshop aimed to provide an introduction to “formal methods”, which is mandatory for developing safety and mission critical systems.

Event Details
Date: 
2015-01-10 09:00 to 16:00
ORGANIZED BY:
School: 
School of Engineering
Center: 
Computational Engineering and Networking
Campus: 
Coimbatore
207
PROGRAMS
OFFERED
6
AMRITA
CAMPUSES
15
CONSTITUENT
SCHOOLS
A
GRADE BY
NAAC, MHRD
8th
RANK(INDIA):
NIRF 2018
150+
INTERNATIONAL
PARTNERS