Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "test"
Treffer 196 von 3555
|
|
| Link zu diesem Datensatz | https://d-nb.info/1339391376 |
| Art des Inhalts | Hochschulschrift |
| Titel | Modelling, verification and test of high-level robotic plans : Modellierung, Verifikation und Test von abstrakten robotischen Plänen / Tim Meywerk ; Gutachter: Rolf Drechsler, Michael Beetz ; Betreuer: Rolf Drechsler |
| Person(en) |
Meywerk, Tim (Verfasser) Drechsler, Rolf (Akademischer Betreuer) Drechsler, Rolf (Gutachter) Beetz, Michael (Gutachter) |
| Verlag | Bremen : Staats- und Universitätsbibliothek Bremen |
| Zeitliche Einordnung | Erscheinungsdatum: 2023 |
| Umfang/Format | Online-Ressource |
| Hochschulschrift | Dissertation, Bremen, Universität Bremen, 2023 |
| Persistent Identifier |
URN: urn:nbn:de:gbv:46-elib69815 DOI: 10.26092/elib/2302 |
| URL | https://media.suub.uni-bremen.de/handle/elib/6981 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Verifikation* ; Modellierung* ; Formale Methode* ; Autonomer Roboter* ; Model Checking* ; Programmverifikation* (*maschinell ermittelt) |
| DDC-Notation | 629.892 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 621.3 Elektrotechnik, Elektronik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 196 von 3555
Administration
