Weiter zum Inhalt Weiter zur Fußzeile

Bisimulations, logics, and trace distributions for stochastic systems with rewards

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/VeranstaltungenVortragBeigetragen

Personen und Einrichtungen

Datum

11 Apr. 201813 Apr. 2018

Beschreibung

Speaker: Daniel Gburek
Event: 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Location: Porto
Country: Portugal
Duration of event: 11.04.2018-13.04.2018

Konferenz

Titel21st ACM International Conference on Hybrid Systems: Computation and Control
KurztitelHSCC 2018
Veranstaltungsnummer21
Beschreibung(part of CPS Week)
Dauer11 - 13 April 2018
Webseite
BekanntheitsgradInternationale Veranstaltung
OrtPalácio da Bolsa
StadtPorto
LandPortugal

Schlagworte

Verknüpfte Inhalte