Zum Hauptinhalt springen
UB Siegen

Suchergebnisse

Katalog

Aufsätze & mehr
18 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Notation".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Verlag

Publikation

Sprache

Inhaltsanbieter

18 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Construction of Safety Constraint Model Based on STPA and Improved AHP for Runway Excursions
    Gao, Ping ; Sun, Yijie ; et al.
    In: 2023 IEEE 5th International Conference on Civil Aviation Safety and Information Technology (ICCASIT), 2023-10-11, S. 464-470
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    An Ontology-Based Approach to Aid STPA Analysis
    Carniel, A. ; Bezerra, J.D.M. ; et al.
    In: IEEE Access, Jg. 11 (2023), S. 12677-12697
    Online academicJournal
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Model-Based STPA: Towards Agile Safety-Guided Design with Formalization
    Ahlbrecht, Alexander ; Zaeske, Wanja ; et al.
    In: 2022 IEEE International Symposium on Systems Engineering (ISSE), 2022-10-24, S. 1-8
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Model-Based STPA: Enabling Safety Analysis Coverage Assessment with Formalization
    Ahlbrecht, Alexander ; Durak, Umut
    In: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC), 2022-09-18, S. 1-10
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Evaluating System Architecture Safety in Early Phases of Development with MBSE and STPA
    Ahlbrecht, Alexander ; Bertram, Oliver
    In: 2021 IEEE International Symposium on Systems Engineering (ISSE), 2021-09-13, S. 1-8
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Safety Analysis of Automatic Crane Trolley Running System Based on STAMP/STPA
    Zhang, Wenbo ; Meng, Xiangkun ; et al.
    In: 2021 8th International Conference on Information, Cybernetics, and Computational Social Systems (ICCSS), 2021-12-10, S. 453-458
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology
    Howard, Giles ; Butler, Michael ; et al.
    In: 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 2017-04-01, S. 174-180
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation
    Kang, Eun-Young ; Hacks, Simon
    In: 2023 12th Mediterranean Conference on Embedded Computing (MECO), 2023-06-06, S. 1-8
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems
    Alotaibi, Fahad ; Son Hoang, Thai ; et al.
    In: 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC), 2023-06-01, S. 1697-1702
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Towards Improved Certification of Complex FinTech Systems – A Requirements-based Approach
    Sharifi, Sepehr ; Amyot, Daniel ; et al.
    In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW), 2022-08-01, S. 205-214
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Use of a system-theoretic model for safety analysis of remotely-controlled system of inland ships
    Zhang, Puzhe ; Wu, Bing ; et al.
    In: 2021 6th International Conference on Transportation Information and Safety (ICTIS), 2021-10-22, S. 1458-1464
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Integrating Safety into MBSE Processes with Formal Methods
    Ahlbrecht, Alexander ; Durak, Umut
    In: 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC), 2021-10-03, S. 1-9
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Dynamics Simulation for Process Risk Evolution Mode on Fueling of LNG-fueled Vessel
    HU, Shenping ; XUAN, Shaoyong ; et al.
    In: 2019 5th International Conference on Transportation Information and Safety (ICTIS), 2019-07-01, S. 313-323
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Synthesis of a Controller Algorithm for Safety-Critical Systems
    Souza, F.G.R.d. ; Hirata, C.M. ; et al.
    In: IEEE Access, Jg. 10 (2022), S. 76351-76375
    Online academicJournal
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    ADSA – Association-Driven Safety Analysis to Expose Unknown Safety Issues
    Madala, K. ; Do, H. ; et al.
    In: IEEE Transactions on Dependable and Secure Computing, Jg. 21 (2024), Heft 1, S. 216-228
    Online academicJournal
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets
    Huang, Y. ; Weng, Y. ; et al.
    In: IEEE Transactions on Intelligent Transportation Systems, Jg. 15 (2014-04-01), Heft 2, S. 530-539
    Online academicJournal
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Traceable Business-to-Safety Analysis Framework for Safety-critical Machine Learning Systems
    Husen, Jati H. ; Washizaki, Hironori ; et al.
    In: 2022 IEEE/ACM 1st International Conference on AI Engineering – Software Engineering for AI (CAIN), 2022-05-01, S. 50-51
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Prospective Hazard Analysis for Information System
    Mason-Blakley, F. ; Weber, J. ; et al.
    In: 2014 IEEE International Conference on Healthcare Informatics, 2014-09-01, S. 256-265
    Online Konferenz
    Zugriff:
    Zum Volltext
    Wie komme ich dran?

Elektronische Zeitschriften

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -