On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)
Gespeichert in:
| Veröffentlicht in: | WADT (25. : 2020 : Online) Recent Trends in Algebraic Development Techniques |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2021
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| The Wheel of Rational Numbers as an Abstract Data Type | 2021 | Bergstra, Jan A. |
| Monographs, a Category of Graph Struciures | 2021 | Tour, Thierry Boy de la |
| K and KIV: Towards Deductive Verification for Arbitrary Programming Languages | 2021 | Klumpp, Dominik |
| Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPA SS | 2021 | Rosenberger, Tobias |
| Parallel Coherent Graph Transformations | 2021 | Tour, Thierry Boy de la |
| Structure-Preserving Diagram Operators | 2021 | Roux, Navid |
| On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract) | 2021 | Pol, Jaco van de |
| Towards General Axiomatizations for Bisimilarity and Trace Semantics | 2021 | Bernardo, Marco |