A probabilistic quantitative analysis of probabilistic-write/copy-select
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
10 Mai 2013 → 22 Mai 2013
Beschreibung
Konferenz
| Titel | 5th NASA Formal Methods Symposium |
|---|---|
| Kurztitel | NFM 2013 |
| Veranstaltungsnummer | 5 |
| Dauer | 14 - 16 Mai 2013 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Stadt | Moffett Field |
| Land | USA/Vereinigte Staaten |