Versenden
Drucken
Hake, Georg und Reiher, David und Mentjes, Jan und Hahn, Axel (2024) Integrating scenario- and contract-based verification for automated vessels. Journal of Marine Science and Technology. Springer Nature. doi: 10.1007/s00773-024-01008-0. ISSN 0948-4280.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
- Verlagsversion (veröffentlichte Fassung)
1MB |
Offizielle URL: https://link.springer.com/article/10.1007/s00773-024-01008-0
| elib-URL des Eintrags: | https://elib.dlr.de/205138/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Zeitschriftenbeitrag | ||||||||||||||||||||
| Titel: | Integrating scenario- and contract-based verification for automated vessels | ||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||
| Datum: | 27 Juni 2024 | ||||||||||||||||||||
| Erschienen in: | Journal of Marine Science and Technology | ||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||
| Open Access: | Ja | ||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||||||
| In ISI Web of Science: | Ja | ||||||||||||||||||||
| DOI: | 10.1007/s00773-024-01008-0 | ||||||||||||||||||||
| Verlag: | Springer Nature | ||||||||||||||||||||
| ISSN: | 0948-4280 | ||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||
| Stichwörter: | Scenario-based verification Reliability Assumption-guarantee contracts Verification descriptor Updates Safety Maritime autonomous surface ships (MASS) | ||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||
| HGF - Programm: | Verkehr | ||||||||||||||||||||
| HGF - Programmthema: | Verkehrssystem | ||||||||||||||||||||
| DLR - Schwerpunkt: | Verkehr | ||||||||||||||||||||
| DLR - Forschungsgebiet: | V VS - Verkehrssystem | ||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | V - FuturePorts | ||||||||||||||||||||
| Standort: | Oldenburg | ||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Systems Engineering für zukünftige Mobilität > System Evolution and Operation Institut für Systems Engineering für zukünftige Mobilität > Application and Evaluation | ||||||||||||||||||||
| Hinterlegt von: | Hake, Georg | ||||||||||||||||||||
| Hinterlegt am: | 13 Aug 2024 12:47 | ||||||||||||||||||||
| Letzte Änderung: | 12 Sep 2024 14:07 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
