Eintrag in der Universitätsbibliographie der TU Chemnitz
Naumann, Billy* ; Jakobs, Christine* ; Werner, Matthias*
Formal analysis of timeliness in the RaSTA protocol
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Betriebssysteme | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | 2300-5963 | |
| DOI: | doi:10.15439/2022f176 | |
| Quelle: | Proceedings of the 17th Conference on Computer Science and Intelligence Systems, September 4-7, 2022, in Sofia, Bulgaria. - IEEE. - Annals of Computer Science and Information Systems (ACSIS). -30. 2022, pp. 505-514 | |
| Freie Schlagwörter (Englisch): | RaSTA , Uppaal , Timed Automata , Formal Verification , Timeliness |
