| Gil Dantas, Yuri (2024): Enabling the automation of safety and security co-analysis through lightweight semantics. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik |
Vorschau |
PDF
Gil_Dantas_Yuri.pdf 20MB |
DOI: 10.5282/edoc.33809
| Dokumententyp: | Dissertationen (Dissertation, LMU München) |
|---|---|
| Themengebiete: | 000 Allgemeines, Informatik, Informationswissenschaft
000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik |
| Fakultäten: | Fakultät für Mathematik, Informatik und Statistik |
| Sprache der Hochschulschrift: | Englisch |
| Datum der mündlichen Prüfung: | 17. Mai 2024 |
| 1. Berichterstatter:in: | Schöpp, Ulrich |
| MD5 Prüfsumme der PDF-Datei: | 87eb672084cb6cf7d368be687af5d37b |
| Signatur der gedruckten Ausgabe: | 0001/UMC 30555 |
| ID Code: | 33809 |
| Eingestellt am: | 25. Jul. 2024 13:02 |
| Letzte Änderungen: | 25. Jul. 2024 13:03 |
Nur für Administratoren und Editoren: Dokument bearbeiten
