Treffer: Statically-analyzed stream monitoring for cyber-physical Systems
Titel:
Statically-analyzed stream monitoring for cyber-physical Systems / Maximilian Schwenger ; Betreuer: Bernd Finkbeiner
Veröffentlicht:
Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2022
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Saarbrücken, Universität des Saarlandes, 2022
Schlagworte:
DOI:
10.22028/D291-37014