M
Master thesis
Projects with this topic
-
Master's Thesis by Joshua Bachmeier at the Application-oriented Formal Verification Research Group at the Institute of Information Security and Dependability (KASTEL)
UpdatedUpdated
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar. Projekte sollen von den Nutzenden selbstständig migriert werden - siehe Docs - Migration.
The new service "GitLab at KIT" is available at gitlab.kit.edu. Projects should be migrated independently by the users - see Docs - Migration.
Master's Thesis by Joshua Bachmeier at the Application-oriented Formal Verification Research Group at the Institute of Information Security and Dependability (KASTEL)