Versenden
Drucken
Fränzle, Martin und Niehaus, Jürgen und Westphal, Bernd, eds. (2025) Engeneering Safe and Trustworthy Cyber-Physical Systems. Lecture Notes in Computer Science (15471). Springer. doi: 10.1007/978-3-031-97537-0. ISBN 978-3-031-97537-0.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: https://link.springer.com/book/10.1007/978-3-031-97537-0
Kurzfassung
Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday
| elib-URL des Eintrags: | https://elib.dlr.de/217272/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Sammelband | ||||||||||||||||
| Titel: | Engeneering Safe and Trustworthy Cyber-Physical Systems | ||||||||||||||||
| Datum: | 30 September 2025 | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Nein | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||
| In ISI Web of Science: | Nein | ||||||||||||||||
| DOI: | 10.1007/978-3-031-97537-0 | ||||||||||||||||
| Herausgeber: |
| ||||||||||||||||
| Verlag: | Springer | ||||||||||||||||
| Name der Reihe: | Lecture Notes in Computer Science | ||||||||||||||||
| ISBN: | 978-3-031-97537-0 | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | Cyber-Physical Systems (CPS), Embedded Systems, Formal Languages, Formal Methods, Model Checking, Semantics, Real-Time Systems, Verification, Reasoning, Validation | ||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
| HGF - Programm: | Verkehr | ||||||||||||||||
| HGF - Programmthema: | Straßenverkehr | ||||||||||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||||||||||
| DLR - Forschungsgebiet: | V ST Straßenverkehr | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC | ||||||||||||||||
| Standort: | Oldenburg | ||||||||||||||||
| Institute & Einrichtungen: | Institut für Systems Engineering für zukünftige Mobilität > System Evolution and Operation | ||||||||||||||||
| Hinterlegt von: | Westphal, Dr. Bernd | ||||||||||||||||
| Hinterlegt am: | 26 Nov 2025 06:22 | ||||||||||||||||
| Letzte Änderung: | 26 Nov 2025 06:22 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
