Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning

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

5 Apr 2014 → 13 Apr 2014

Conference

Title	17th International Conference on Fundamental Approaches to Software Engineering
Abbreviated title	FASE 2014
Conference number
Duration	5 - 13 April 2014
Degree of recognition	International event
Location
City	Grenoble
Country	France

Keywords

Probabilistic Model Checking and Non-standard Multi-objective Reasoning

Baier, C., Dubslaff, C., Klüppelholz, S., Daum, M., Klein, J., Märcker, S. & Wunderlich, S., 2014, Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Gnesi, S. & Rensink, A. (eds.). Springer, Berlin [u. a.], p. 1-16 16 p. (Lecture Notes in Computer Science, Volume 8411).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Invited › peer-review

View all research output (1)

Research Portal of the TU Dresden