View in EDS HTML Full Text PDF Full Text

Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM.

Saved in:
Bibliographic Details
Title: Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM.
Authors: Foster, Simon, Nemouchi, Yakoub, Gleirscher, Mario, Wei, Ran, Kelly, Tim
Source: ITNOW; Autumn2021, Vol. 63 Issue 3, p66-66, 1p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:17465702
DOI:10.1093/itnow/bwab095