Probabilistic Model Checking
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
29 Mai 2017 → 4 Juni 2017
Beschreibung
Konferenz
| Titel | 1st School on Foundations of Programming and Software systems |
|---|---|
| Untertitel | Probabilistic programming |
| Kurztitel | FoPPS |
| Veranstaltungsnummer | |
| Dauer | 29 Mai - 4 Juni 2017 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Braga |
| Land | Portugal |