- Alternative title
-
Über die Synthese von Linux Kernel- Modul-Komponenten aus Coq-Formalisierungen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Potsdam, Universität Potsdam, Dissertation, 2024
- Keyword
-
LINUX
HOL
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2024
- Creator
- Contributor
- DOI
-
10.25932/publishup-64255
- URN
-
urn:nbn:de:kobv:517-opus4-642558
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:01 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
- Frank, Mario
- Kreitz, Christoph
- Lamprecht, Anna-Lena
- Appel, Andrew W.
- Universität Potsdam
Time of origin
- 2024
Other Objects (12)
Linux Kernel Module and Device Driver Development
AF_KTLS: A Linux kernel TLS/DTLS module
Linux Kernel Library: A Library Version of Linux Kernel
Linux-Kernel-Programmierung, Buch.
Linux-Kernel-Programmierung, Buch.
Linux-Kernel-Programmierung, Buch.
The Linux kernel book, Buch.
Linux kernel debugging for sysadmins
Unit testing Linux kernel drivers
Linux Kernel Development for Newbies
Aktuelle Entwicklungen beim Linux-Kernel
Linux-Gerätetreiber : [deckt Kernel 2.4 ab]
Linux Kernel Module and Device Driver Development
AF_KTLS: A Linux kernel TLS/DTLS module
Linux Kernel Library: A Library Version of Linux Kernel
Linux-Kernel-Programmierung, Buch.
Linux-Kernel-Programmierung, Buch.
Linux-Kernel-Programmierung, Buch.
The Linux kernel book, Buch.
Linux kernel debugging for sysadmins
Unit testing Linux kernel drivers
Linux Kernel Development for Newbies
Aktuelle Entwicklungen beim Linux-Kernel
Linux-Gerätetreiber : [deckt Kernel 2.4 ab]
Linux Kernel Module and Device Driver Development
AF_KTLS: A Linux kernel TLS/DTLS module
Linux Kernel Library: A Library Version of Linux Kernel
Linux-Kernel-Programmierung, Buch.
Linux-Kernel-Programmierung, Buch.
Linux-Kernel-Programmierung, Buch.
The Linux kernel book, Buch.
Linux kernel debugging for sysadmins
Unit testing Linux kernel drivers
Linux Kernel Development for Newbies
Aktuelle Entwicklungen beim Linux-Kernel