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:

Center:

Campus: