Presentation

file

Visible to the public Lifting Formal Proof to Practice via an Assurance Case

Submitted by akarns on Wed, 04/27/2022 - 2:28pm. Contributor:
file

Visible to the public Model Validation for DARPA DPRIVE

Submitted by akarns on Wed, 04/27/2022 - 2:28pm. Contributor:
file

Visible to the public KEYNOTE PRESENTATION

Submitted by akarns on Wed, 04/27/2022 - 2:28pm. Contributor:
file

Visible to the public Machine Learning and the Unknown Unknowns

Submitted by akarns on Wed, 04/27/2022 - 2:28pm. Contributor:
file

Visible to the public Model-checking State Machines In the Wild

Submitted by akarns on Wed, 04/27/2022 - 2:27pm. Contributor:
file

Visible to the public Correct-by-Learning Methods for Reliable Control

Submitted by akarns on Wed, 04/27/2022 - 2:27pm. Contributor:
file

Visible to the public Cyber Assured Systems Engineering at Scale

Submitted by akarns on Wed, 04/27/2022 - 2:27pm. Contributor: