Automated Verification of Power Contracts

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Zeitraum11 Sept. 2023
EreignistitelAlpine Verification Meeting 2023: AVM 2023
VeranstaltungstypKonferenz
OrtPrague, Tschechische RepublikAuf Karte anzeigen
BekanntheitsgradInternational

Verbundene Inhalte