Eintrag in der Universitätsbibliographie der TU Chemnitz
Jakobs, Christine ; Werner, Matthias
"Misusing" Model-Checker to Generate Correct Configurations in Embedded Systems
| Universität: | Technische Universität Chemnitz | |
| Förderung: | Industrie/Wirtschaft | |
| Institut: | Professur Betriebssysteme | |
| Dokumentart: | Konferenzbeitrag, nicht referiert | |
| DOI: | doi:10.13140/rg.2.2.36091.05921 | |
| Quelle: | Frühjahrstreffen der Fachgruppe Betriebssysteme der GI, 14.-15.03.2019, Erlangen, 2019 | |
| Freie Schlagwörter (Englisch): | model-checker , embedded systems , TLA+ |
