A probabilistic quantitative analysis of probabilistic-write/copy-select
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
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 |