Components in Probabilistic Systems: Suitable by Construction
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
- Clemens Dubslaff - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
28 Aug. 2021
Konferenz
| Titel | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation |
|---|---|
| Kurztitel | ISoLA 2021 |
| Veranstaltungsnummer | |
| Dauer | 25 - 29 Oktober 2021 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Rhodos |
| Land | Griechenland |