- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
A formal framework to design and prove trustworthy memory controllers ; volume:59 ; number:4 ; day:14 ; month:11 ; year:2023 ; pages:664-704 ; date:12.2023
Real-time systems ; 59, Heft 4 (14.11.2023), 664-704, 12.2023
- Urheber
-
Lisboa Malaquias, Felipe
Asavoae, Mihail
Brandner, Florian
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11241-023-09411-3
- URN
-
urn:nbn:de:101:1-2024022610050947436347
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:49 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Lisboa Malaquias, Felipe
- Asavoae, Mihail
- Brandner, Florian
- SpringerLink (Online service)
Ähnliche Objekte (12)
Trustworthy spacecraft design using formal methods
Trustworthy spacecraft design using formal methods
Prove, Martha
Übungen - Prove
Oskar Prove
Trustworthy authority
Formal synthesis of safety controller code for distributed controllers
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Formal specification and synthesis of procedural controllers for process systems
Venner på prøve!
Promotionsakte Oscar Prove
Trustworthy by Convention
Trustworthy spacecraft design using formal methods
Trustworthy spacecraft design using formal methods
Prove, Martha
Übungen - Prove
Oskar Prove
Trustworthy authority
Formal synthesis of safety controller code for distributed controllers
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Formal specification and synthesis of procedural controllers for process systems
Venner på prøve!
Promotionsakte Oscar Prove
Trustworthy by Convention
Trustworthy spacecraft design using formal methods
Trustworthy spacecraft design using formal methods
Prove, Martha
Übungen - Prove
Oskar Prove
Trustworthy authority
Formal synthesis of safety controller code for distributed controllers
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Formal specification and synthesis of procedural controllers for process systems
Venner på prøve!
Promotionsakte Oscar Prove