Role-based Automata: Modeling and Formal Analysis of Context-Dependent Systems
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
- Philipp Chrszon - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
26 Mar 2021
Description
Workshop
| Title | 2nd Workshop on Quantitative Aspects of Variant-rich Systems |
|---|---|
| Abbreviated title | QAVS 2021 |
| Conference number | 2 |
| Duration | 26 March 2021 |
| Website | |
| Location | Online |
| City | München |
| Country | Germany |