Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
Publikationstyp | Proceedingsband |
Publikationsjahr | 2023 |
Sprache | Englisch |
Identifikator | ISSN: 2075-2180 KITopen-ID: 1000169850 |
Veranstaltung | 5th International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), Leiden, Niederlande, 15.11.2023 – 16.11.2023 |
Verlag | Open Publishing Association |
Serie | Electronic proceedings in theoretical computer science ; 395 |
Vorab online veröffentlicht am | 15.11.2023 |
Externe Relationen | Konferenz |