Eintrag in der Universitätsbibliographie der TU Chemnitz
Akhundov, Jafar ; Reißner, Michael ; Werner, Matthias
Compositional Expressiveness of Hybrid Automata
Kompositionelle Ausdrucksfähigkeit der Hybriden Automaten
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Betriebssysteme | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | 0863-095X | |
| URL/URN: | https://www2.informatik.hu-berlin.de/csp2018/proc.shtml ; http://ceur-ws.org/Vol-2240/ | |
| Quelle: | 27th international Workshop on Concurrency, Specification and Programming (CS&P'18), 24. - 26. September 2018, Berlin, Germany, 2018, S. 159 -170 | |
| Freie Schlagwörter (Englisch): | hybrid automata , composition , hybrid systems , compositionality , verification , expressiveness | |
| OA-Lizenz | CC0 |
