> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Formally verified bundling and appraisal of evidence for layered attestations Beteiligte: Petz, Adam; Alexander, Perry Erschienen: Springer Science and Business Media LLC, 2023 Erschienen in: Innovations in Systems and Software Engineering, 19 (2023) 4, Seite 411-426 Sprache: Englisch DOI: 10.1007/s11334-022-00475-1 ISSN: 1614-5046; 1614-5054 Schlagwörter: Software Entstehung: Anmerkungen: