Entwicklung einer compilergestützten Thread-lokalen statischen Verifikation von Funktionen bezüglich ausgewählter Eigenschaften für ein Betriebssystem in C

Heineken T (2022)

Publication Language: German

Publication Type: Thesis

Publication year: 2022

Authors with CRIS profile

Tobias Heineken Chair for Computer Science 6 (Data Management)

How to cite

APA:

Heineken, T. (2022). Entwicklung einer compilergestützten Thread-lokalen statischen Verifikation von Funktionen bezüglich ausgewählter Eigenschaften für ein Betriebssystem in C (Master thesis).

MLA:

Heineken, Tobias. Entwicklung einer compilergestützten Thread-lokalen statischen Verifikation von Funktionen bezüglich ausgewählter Eigenschaften für ein Betriebssystem in C. Master thesis, 2022.

BibTeX: Download