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
Workshop
| Title | Quantitative Aspects of Variant-rich Systems |
|---|---|
| Abbreviated title | QAVS |
| Conference number | |
| Duration | 26 March 2021 |
| Website | |
| Location | online |
| City | München |
| Country | Germany |