Blog
German
Englisch
Deutsch
Login
Veröffentlichen Sie bei uns
Themen
Allgemein
Altertumswissenschaften
Architektur und Design
Bibliotheks- und Informationswissenschaft, Buchwissenschaft
Biologie
Chemie
Geowissenschaften
Geschichte
Industrielle Chemie
Informatik
Jüdische Studien
Kulturwissenschaften
Kunst
Linguistik und Semiotik
Literaturwissenschaft
Materialwissenschaft
Mathematik
Medizin
Musik
Pharmazie
Philosophie
Physik
Rechtswissenschaften
Sozialwissenschaften
Sport und Freizeit
Technik
Theologie und Religion
Wirtschaftswissenschaften
Veröffentlichungen
Zeitschriften
Buch
Berichte
Blog
Kontakt
Suche
Login
Deutsch
English
Deutsch
Polski
Español
Français
Italiano
Heim
Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019
Towards Simulation-based Verification of Autonomous Navigation Systems
Kapitel
Weiter
Konferenz Details
Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019
Format
Konferenz
ISBN
978-83-956696-0-6
Erstveröffentlichung
08 Feb 2020
Sprachen
Englisch
Urheberrechte
© 2020 Authors
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Towards Simulation-based Verification of Autonomous Navigation Systems
Uneingeschränkter Zugang
Online veröffentlicht am: 06 Feb 2020
DOI:
https://doi.org/10.2478/9788395669606-001
© 2020 Authors
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Herunterladen
Herunterladen
Zitieren
PDF-Vorschau
Inhalt
Konferenz Details
Format
Konferenz
ISBN
978-83-956696-0-6
Erstveröffentlichung
08 Feb 2020
Sprachen
Englisch
Urheberrechte
© 2020 Authors
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
PDF-Vorschau
Inhalt
Towards Simulation-based Verification of Autonomous Navigation Systems
Assessment of the Required Subdivision Index for Autonomous Ships based on Equivalent Safety
Empirical analysis of complex network for marine traffic situation
Trustworthy versus Explainable AI in Autonomous Vessels
The Risks of Remote Pilotage in an Intelligent Fairway – preliminary considerations
A Targets Detection Approach Based on an improved R-CNN Algorithm for Inland River Crossing Area Marine Radar Image
Developing a Framework for Trustworthy Autonomous Maritime Systems
Korean Technical Innovation: toward Autonomous Ship and Smart Shipbuilding to Ensure Safety
Safety related cyber-attacks identification and assessment for autonomous inland ships
Prediction Model of Human Error Probability in Autonomous Cargo Ships
Comparison of system modelling techniques for autonomous ship systems
An initial hierarchical systems structure for systemic hazard analysis of autonomous ships
Development of functional safety requirements for DP-driven servicing of wind turbines
Towards STAMP approach based protection of Underwater Cultural Heritage
System-theoretic process analysis for safety analysis of cooperative material handling machinery – Concept and initial experiences
A comparative safety assessment for Direct Current and Direct Current with hybrid supply power systems in a windfarm Service Operation Vessel using System- Theoretic Process Analysis
Changing risks in existing gas infrastructure in the Netherlands: are traditional hazard analysis methods equipped for an energy transition?
STPA Based Approach for a Resilience Assessment at an Early Design Stage of a Cruise Ship
Border crossing point as a socio-technical system: applying STAMP and STPA to border security
Towards maritime traffic coordination in the era of intelligent ships: a systems theoretic study
Exploring the Modeling of Attack Strategies for STPA