| Gil Dantas, Yuri (2024): Enabling the automation of safety and security co-analysis through lightweight semantics. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics |
Preview |
PDF
Gil_Dantas_Yuri.pdf 20MB |
DOI: 10.5282/edoc.33809
| Item Type: | Theses (Dissertation, LMU Munich) |
|---|---|
| Subjects: | 000 Computers, Information and General Reference 000 Computers, Information and General Reference > 004 Data processing computer science |
| Faculties: | Faculty of Mathematics, Computer Science and Statistics |
| Language: | English |
| Date of oral examination: | 17. May 2024 |
| 1. Referee: | Schöpp, Ulrich |
| MD5 Checksum of the PDF-file: | 87eb672084cb6cf7d368be687af5d37b |
| Signature of the printed copy: | 0001/UMC 30555 |
| ID Code: | 33809 |
| Deposited On: | 25. Jul 2024 13:02 |
| Last Modified: | 25. Jul 2024 13:03 |
Repository Staff Only: item control page
