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 2021 |
|---|---|
| Abbreviated title | ISoLA 2021 |
| Conference number | 10 |
| Duration | 25 - 29 October 2021 |
| Website | |
| Degree of recognition | International event |
| Location | Alila Resort & Spa |
| City | Rhodos |
| Country | Greece |