Semantic Validation for Slingshot Simulator Using MontiArc
Taghavi, Bahareh
1; Heinrich, Robert 1; Marin, Adrian 2; Rumpe, Bernhard 2; Stüber, Sebastian 2; Weber, Sebastian
3
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
2 Rheinisch-Westfälische Technische Hochschule Aachen (RWTH Aachen)
3 FZI Forschungszentrum Informatik (FZI)
1; Heinrich, Robert 1; Marin, Adrian 2; Rumpe, Bernhard 2; Stüber, Sebastian 2; Weber, Sebastian
31 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
2 Rheinisch-Westfälische Technische Hochschule Aachen (RWTH Aachen)
3 FZI Forschungszentrum Informatik (FZI)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 30.04.2025 |
| Sprache | Englisch |
| Identifikator | ISSN: 0720-8928 KITopen-ID: 1000186025 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | 15th Symposium on Software Performance 2024, Linz, November 6-7th 2024, Ed.: Andrea Herrmann |
| Veranstaltung | 15th Symposium on Software Performance (SSP 2024), Linz, Österreich, 06.11.2024 – 07.11.2024 |
| Verlag | Gesellschaft für Informatik (GI) |
| Seiten | 26-28 |
| Serie | Softwaretechnik-Trends |
| Externe Relationen | Abstract/Volltext Abstract/Volltext |