Eintrag in der Universitätsbibliographie der TU Chemnitz
Towards a Formalization of the Model by Jonsson and Olovsson
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Betriebssysteme | |
| Dokumentart: | Konferenzbeitrag, nicht referiert | |
| DOI: | doi:10.13140/RG.2.2.23927.57768 | |
| Quelle: | Gemeinsames Herbsttreffen der Fachgruppen des GI-Fachbereichs Betriebssysteme, Kommunikationssysteme und verteilte Systeme, 21./22. November 2019, Osnabrück, 2019 | |
| Freie Schlagwörter (Englisch): | Security , Dependability , Formal methods , Automata |
