Ontology-Mediated Probabilistic Model Checking
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Clemens Dubslaff - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
6 Dec 2019
Description
Speaker: Clemens DubslaffEvent: 15th International Conference on integrated Formal Methods (iFM) 2019
Location: Bergen
Country: Norwegen
Duration of event: 06.12.2019-06.12.2019
Conference
| Title | 15th International Conference on Integrated Formal Methods |
|---|---|
| Abbreviated title | iFM 2019 |
| Conference number | |
| Duration | 2 - 6 December 2019 |
| Website | |
| Degree of recognition | International event |
| Location | |
| City | Bergen |
| Country | Norway |