NASA NTRS ยท 20180004394
The Simple Assurance Argument Interchange Format (SAAIF) Manual
Abstract
This document describes the Simple Assurance Argument Interchange Format, a proposed meta-model for describing structured assurance arguments. We describe the syntax and semantics of the model elements, compare the meta-model to existing argument formats, and give an example to illustrate its use.
Keep this discovery
Explore connections, maps & timelines
Graydon, Patrick J.. 2018-06-01. The Simple Assurance Argument Interchange Format (SAAIF) Manual. https://ntrs.nasa.gov/citations/20180004394
Cite the original work for its findings. Save a collection to share your selection of sources.