- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
-
Lisboa Malaquias, Felipe
Asavoae, Mihail
Brandner, Florian
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11241-023-09411-3
- URN
-
urn:nbn:de:101:1-2024022610050947436347
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lisboa Malaquias, Felipe
- Asavoae, Mihail
- Brandner, Florian
- SpringerLink (Online service)
Other Objects (12)
Trustworthy spacecraft design using formal methods
Trustworthy spacecraft design using formal methods
Prove, Martha
Übungen - Prove
Oskar Prove
Formal synthesis of safety controller code for distributed controllers
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Trustworthy authority
Formal specification and synthesis of procedural controllers for process systems
Venner på prøve!
Promotionsakte Oscar Prove
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Trustworthy spacecraft design using formal methods
Trustworthy spacecraft design using formal methods
Prove, Martha
Übungen - Prove
Oskar Prove
Formal synthesis of safety controller code for distributed controllers
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Trustworthy authority
Formal specification and synthesis of procedural controllers for process systems
Venner på prøve!
Promotionsakte Oscar Prove
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Trustworthy spacecraft design using formal methods
Trustworthy spacecraft design using formal methods
Prove, Martha
Übungen - Prove
Oskar Prove
Formal synthesis of safety controller code for distributed controllers
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Trustworthy authority
Formal specification and synthesis of procedural controllers for process systems
Venner på prøve!
Promotionsakte Oscar Prove