Share with: Dr. James Humann University of Southern California Deliverables SERC-2018-TR-119-Formal Methods in Resilient Systems Design using a Flexible Contract Approach Publications Projects Formal Methods in Resilient Systems Design using a Flexible Contract Approach Researcher
