Poster
RT 166: Formal Methods in Resilient Systems Design using a Flexible Contract Approach
Start Date: 2017-11-07End Date: 2017-11-08
Event: 5th SERC Doctoral Students Forum and 9th SERC Sponsor Research Review
Event: FHI 360 Conference Center 1825 Connecticut Avenue, NW, #2 Washington, DC 20009
Research Programs:
Lead Authors:
Dr. Barry Boehm
Dr. Azad Madni
Edwin Ordoukhanian