Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: Suche



Treffer 8 von 366 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1167683021
Titel Fundamental techniques for the scalable analysis of systems
Person(en) Schilling, Christian (Verfasser)
Podelski, Andreas (Akademischer Betreuer)
Organisation(en) Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Grad-verleihende Institution)
Verlag Freiburg : Universität
Zeitliche Einordnung Erscheinungsdatum: 2018
Umfang/Format Online-Ressource (pdf)
Hochschulschrift Dissertation, Universität Freiburg, 2018
Persistent Identifier URN: urn:nbn:de:bsz:25-freidok-163963
DOI: 10.6094/UNIFR/16396
URL https://freidok.uni-freiburg.de/data/16396 (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen Langzeitarchivierung gewährleistet
Schlagwörter Parameterschätzung ; Automatentheorie ; Verifikation ; Lineares zeitinvariantes System ; Erreichbarkeitsmenge
(*maschinell ermittelt)
DDC-Notation 004.6 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 8 von 366
< < > <


E-Mail-IconAdministration