File
Case Introduction
Submitted by Darren Cofer on January 14th, 2021
File
Case Story: Trust and Cloud
Submitted by Anonymous on January 14th, 2021
File
Goals of the Meeting - East
Submitted by Patrick Lincoln on January 14th, 2021
File
Scaling Formal and Informal (Less Formal?) Reasoning
Submitted by Stephen Magill on January 14th, 2021
File
Formal + Informal - Paul Miner
Paul Miner Submitted by Paul Miner on January 14th, 2021
File
Formal Methods for Systems
Submitted by Raymond Richards on January 14th, 2021
File
Use Case for Formal Methods: Model-Integration Platform for CPS Design
Janos Sztipanovits Submitted by Janos Sztipanovits on January 14th, 2021
File
Trustworthy AI: New Properties for New Complex Systems
Submitted by Jeannette Wing on January 14th, 2021
Subscribe to Slides
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.