Components in Probabilistic Systems: Suitable by Construction

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

Persons and affiliations

Clemens Dubslaff - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

28 Aug 2021

Conference

Title	International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Abbreviated title	ISoLA 2021
Conference number
Duration	25 - 29 October 2021
Website	http://isola-conference.org/isola2021/
Degree of recognition	International event
Location
City	Rhodos
Country	Greece

Keywords

DFG Classification of Subject Areas according to Review Boards

Theoretical Computer Science

Subject groups, research areas, subject areas according to Destatis

Theoretical Computer Science

Components in Probabilistic Systems: Suitable by Construction

Baier, C., Dubslaff, C., Hermanns, H., Klauck, M., Klüppelholz, S. & Köhl, M. A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 240-261 22 p. (Lecture Notes in Computer Science, Volume 12476).

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

Components in Probabilistic Systems: Suitable by Construction

Persons and affiliations

Date

Conference

Keywords

DFG Classification of Subject Areas according to Review Boards

Subject groups, research areas, subject areas according to Destatis

Related content

Components in Probabilistic Systems: Suitable by Construction