Formal Verification of Stochastic Systems
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
21 Juni 2006
Beschreibung
Speaker: C. BaierEvent: Modeling and Verifying parallel processes, MOVEP'06
Inviting institution: Univ. Bordeaux
Location: Bordeaux
Country: Frankreich
Time:
Konferenz
| Titel | MOdelling and VErifying parallel Processes |
|---|---|
| Kurztitel | MOVEP 2006 |
| Veranstaltungsnummer | |
| Dauer | 19 - 23 Juni 2006 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Bordeaux |
| Land | Frankreich |