Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Selective Presumed Benevolence in Multi-party System Verification
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Selective Presumed Benevolence in Multi-party System Verification
Beteiligte:
Ahrendt, Wolfgang;
Pace, Gordon J.
Erschienen:
Springer International Publishing, 2022
Erschienen in:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022), Seite 106-123