Publication

Formal Methods in Resilient Systems Design using a Flexible Contract Approach

Publication Date: 11/7/2018
Event: SERC Doctoral Students Forum & Sponsor Research Review 2018
Event: Washington D.C.
Research Programs:
Lead Authors:
Dr. Azad Madni

Co-Authors:
Dr. Ayesha Madni
Edwin Ordoukhanian