Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1257867687
Link zu diesem Datensatz | https://d-nb.info/1257867687 |
Titel | A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems / Alexander Kittelmann ; Ina Schaefer, Reiner Hähnle, Einar Broch Johnsen |
Person(en) |
Kittelmann, Alexander (Verfasser) Schaefer, Ina (Akademischer Betreuer) Hähnle, Reiner (Akademischer Betreuer) Johnsen, Einar Broch (Akademischer Betreuer) |
Verlag | Braunschweig : Universitätsbibliothek Braunschweig |
Zeitliche Einordnung | Erscheinungsdatum: 2022 |
Umfang/Format | Online-Ressource (pdf) |
Hochschulschrift | Dissertation, Braunschweig, Technische Universität Braunschweig, 2022 |
Persistent Identifier |
URN: urn:nbn:de:gbv:084-2022051809481 DOI: 10.24355/dbbs.084-202204121019-0 |
URL | https://publikationsserver.tu-braunschweig.de/receive/dbbs_mods_00070632 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter | Engineering* ; Cooperating objects (Computer systems)* (*maschinell ermittelt) |
DDC-Notation | 005.8 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |