Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "A formal framework to design and prove trustworthy memory controllers."
Link zu diesem Datensatz | https://d-nb.info/1321688830 |
Titel | A formal framework to design and prove trustworthy memory controllers / by Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner |
Person(en) |
Lisboa Malaquias, Felipe (Verfasser) Asavoae, Mihail (Verfasser) Brandner, Florian (Verfasser) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Umfang/Format | 1 Online-Ressource. |
Persistent Identifier |
URN: urn:nbn:de:101:1-2024022610050947436347 DOI: 10.1007/s11241-023-09411-3 |
URL | https://doi.org/10.1007/s11241-023-09411-3 |
Zeitliche Einordnung | Erscheinungsdatum: 2023 |
DDC-Notation | 004.01 (maschinell ermittelte DDC-Kurznotation) |
Sprache(n) | Englisch (eng) |
Beziehungen | Enthalten in: Real-time systems (Bd. 59, 14.11.2023, Nr. 4, date:12.2023: 664-704) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |