Visible to the public Challenges Integrating Formal Methods into Certification of Critical Software & Systems

Submitted by Katie Dey on Wed, 05/15/2019 - 8:44am. Contributor:

Presented as part of the 2019 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Challenges Integrating Formal Methods into Certification of Critical Software & Systems
Switch to experimental viewer