Verification Meets Causality
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Plenarvortrag (Keynote) › Eingeladen
Personen und Einrichtungen
Datum
30 Okt. 2024
Konferenz
| Titel | International Symposium on Leveraging Applications of Formal Methods, Verification and Validation 2024 |
|---|---|
| Kurztitel | ISoLA 2024 |
| Dauer | 27 - 31 Oktober 2024 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Aldemar Knossos Royal resortjavascript:void(0); |
| Stadt | Kreta |
| Land | Griechenland |