Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Statically-analyzed stream monitoring for cyber-physical Systems

Titel:

Statically-analyzed stream monitoring for cyber-physical Systems / Maximilian Schwenger ; Betreuer: Bernd Finkbeiner

Beteiligt:

Veröffentlicht:

Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2022

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Saarbrücken, Universität des Saarlandes, 2022

Schlagworte:

DOI:

10.22028/D291-37014

Zusatz-Informationen