Energy-utility Analysis for Resilient Systems using Probabilistic Model Checking

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

Persons and affiliations

Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

23 Jun 2014 → 27 Jun 2014

Description

Conference

Title	35th International Conference on Application and Theory of Petri Nets and Concurrency
Abbreviated title	PETRI NETS 2014
Duration	23 - 27 June 2014
Degree of recognition	International event
City	Tunis
Country	Tunisia

Keywords

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. (eds.). Springer, Cham, p. 20-39 20 p. (Lecture Notes in Computer Science, Vol. 8489).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden