Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Hendrik Tews - , Professur für Betriebssysteme (Redner:in)
- Marcus Völp - , Professur für Betriebssysteme (Redner:in)
- Benjamin Engel - , Professur für Betriebssysteme (Redner:in)
Datum
28 Nov. 2012 → 30 Nov. 2012
Beschreibung
Konferenz
| Titel | 7th Conference on Systems Software Verification |
|---|---|
| Kurztitel | SSV 2012 |
| Veranstaltungsnummer | |
| Dauer | 28 - 30 November 2012 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Sydney |
| Land | Australien |