Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Selective Presumed Benevolence in Multi-party System Verification
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Selective Presumed Benevolence in Multi-party System Verification
Contributor:
Ahrendt, Wolfgang;
Pace, Gordon J.
Published:
Springer International Publishing, 2022
Published in:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022), Seite 106-123