Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Forschungsbericht/Preprint |
Publikationsdatum | 21.01.2021 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000128855 |
Verlag | Karlsruher Institut für Technologie (KIT) |
Schlagwörter | Quantification, Formal Methods, Palladio, Modelling |
Relationen in KITopen |