Application of Formal Methods for safety and Security of Critical Systems
2nd Symposium on Application of Formal Methods for Safety & Security of Critical Systems
Theme - Software is pervading literally every domain like consumer, automotive, aerospace, medical, and railways. The systems are also becoming highly complex and software intensive with features like reconfigurability. It is imperative that it be ensured that the software in these systems is very safe and secure. The aim of the workshop is to provide a forum wherein an awareness regarding the practical applicability of Formal Methods towards enhancing safety and security of safety critical systems in various industries will be created. In particular, the workshop will bring together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Please find the Document below
|Location CSIR NATIONAL AEROSPACE LABORATORIES BANGALORE. INDIA.|