Energy-utility Analysis for Resilient Systems using Probabilistic Model Checking

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen

Personen und Einrichtungen

Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)

Datum

23 Juni 2014 → 27 Juni 2014

Beschreibung

Konferenz

Titel	35th International Conference on Application and Theory of Petri Nets and Concurrency
Kurztitel	PETRI NETS 2014
Dauer	23 - 27 Juni 2014
Bekanntheitsgrad	Internationale Veranstaltung
Stadt	Tunis
Land	Tunesien

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking

Baier, C., Dubslaff, C., Klüppelholz, S. & Leuschner, L., 2014, Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings. Ciardo, G. & Kindler, E. (Hrsg.). Springer, Cham, S. 20-39 20 S. (Lecture Notes in Computer Science, Volume 8489).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)