Visible to the public Using Formal Methods to Engineer Safe, Secure, and Resilient Human-Interactive Systems

Submitted by Matthew Bolton on Mon, 11/27/2017 - 7:28pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Using Formal Methods to Engineer Safe, Secure, and Resilient Human-Interactive Systems
Switch to experimental viewer