Zum Hauptinhalt springen
UB Siegen

Suchergebnisse

Katalog

Aufsätze & mehr
27 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

Inhaltsanbieter

27 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Correction to: Combining GSN and STPA for Safety Arguments
    Hirata, Celso ; Nadjm-Tehrani, Simin
    In: Lecture Notes in Computer Science ; Computer Safety, Reliability, and Security ; page C1-C1 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030262495 9783030262501; (2019)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment
    Wang, Yang ; Wagner, Stefan
    2018
    Online Buch
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment
    Wang, Yang ; Wagner, Stefan
    In: Lecture Notes in Business Information Processing ; Agile Processes in Software Engineering and Extreme Programming ; page 37-53 ; ISSN 1865-1348 1865-1356 ; ISBN 9783319916019 9783319916026; (2018)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Bats and the Ecological and Evolutionary Consequences of Resource Spatio-temporal Predictability (STP)
    Fleming, Theodore H.
    In: 50 Years of Bat Research ; Fascinating Life Sciences ; page 123-134 ; ISSN 2509-6745 2509-6753 ; ISBN 9783030547264 9783030547271; (2021)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A Safety Analysis Method for FGS Based on STPA
    Feng, Tao ; Wang, Lisong ; et al.
    In: Advances in Intelligent, Interactive Systems and Applications ; Advances in Intelligent Systems and Computing ; page 936-944 ; ISSN 2194-5357 2194-5365 ; ISBN 9783030028039 9783030028046; (2019)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Combining GSN and STPA for Safety Arguments
    Hirata, Celso ; Nadjm-Tehrani, Simin
    In: Lecture Notes in Computer Science ; Computer Safety, Reliability, and Security ; page 5-15 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030262495 9783030262501; (2019)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    An Extraction Method of STPA Variable Based on Four-Variable Model
    Chen, Miaofang ; Wang, Lisong ; et al.
    In: Advances in Intelligent, Interactive Systems and Applications ; Advances in Intelligent Systems and Computing ; page 375-381 ; ISSN 2194-5357 2194-5365 ; ISBN 9783030028039 9783030028046; (2019)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    STPA Guided Systems Engineering
    Becker, Uwe
    In: Lecture Notes in Computer Science ; Computer Safety, Reliability, and Security ; page 164-176 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319992280 9783319992297; (2018)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    SCIP-Jack—A Solver for STP and Variants with Parallelization Extensions: An Update
    Rehfeldt, Daniel ; Koch, Thorsten
    In: Operations Research Proceedings ; Operations Research Proceedings 2017 ; page 191-196 ; ISSN 0721-5924 2197-9294 ; ISBN 9783319899190 9783319899206; (2018)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Pilot Homicide-Suicide: A System-Theoretic Process Analysis (STPA) of Germanwings GWI18G
    Schmid, Daniela
    In: Advances in Intelligent Systems and Computing ; Advances in Human Aspects of Transportation ; page 53-64 ; ISSN 2194-5357 2194-5365 ; ISBN 9783319938844 9783319938851; (2018)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT
    Sato, Shuichi ; Hattori, Shogo ; et al.
    In: Communications in Computer and Information Science ; Formal Techniques for Safety-Critical Systems ; page 39-54 ; ISSN 1865-0929 1865-0937 ; ISBN 9783319539454 9783319539461; (2017)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    STPZ at Cyclic Loading
    Hübel, Hartwig
    In: Simplified Theory of Plastic Zones ; page 95-158 ; ISBN 9783319298733 9783319298757; (2016)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    STPZ with Temperature-Dependent Material Data
    Hübel, Hartwig
    In: Simplified Theory of Plastic Zones ; page 159-210 ; ISBN 9783319298733 9783319298757; (2016)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    STPZ at Multilinear Hardening
    Hübel, Hartwig
    In: Simplified Theory of Plastic Zones ; page 233-270 ; ISBN 9783319298733 9783319298757; (2016)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    New Integral Approach to the Specification of STPU-Solutions
    Jobczyk, Krystian ; Ligeza, Antoni ; et al.
    In: Artificial Intelligence and Soft Computing ; Lecture Notes in Computer Science ; page 317-328 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319393834 9783319393841; (2016)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    STPZ at Monotonic Loading
    Hübel, Hartwig
    In: Simplified Theory of Plastic Zones ; page 57-94 ; ISBN 9783319298733 9783319298757; (2016)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Using STPA in an ISO 26262 Compliant Process
    Mallya, Archana ; Pantelic, Vera ; et al.
    In: Lecture Notes in Computer Science ; Computer Safety, Reliability, and Security ; page 117-129 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319454764 9783319454771; (2016)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis
    Schmittner, Christoph ; Ma, Zhendong ; et al.
    In: Lecture Notes in Computer Science ; Computer Safety, Reliability, and Security ; page 195-209 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319454795 9783319454801; (2016)
    Online Buch
    Zugriff:
    Zum Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    An Implementation of a Unified Security, Trust and Privacy (STP) Framework for Future Integrated RFID System
    Mubarak, Mohd Faizal ; Manan, Jamalul-Lail Ab ; et al.
    In: Future Data and Security Engineering ; Lecture Notes in Computer Science ; page 122-135 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319127774 9783319127781; (2014)
    Buch
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    NC-STP: A High Performance Network Coding Based Space Transport Protocol
    Fu, Hai ; Yu, Wanrong ; et al.
    In: Wireless Algorithms, Systems, and Applications ; Lecture Notes in Computer Science ; page 34-43 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319077819 9783319077826; (2014)
    Buch
    Wie komme ich dran?

Elektronische Zeitschriften

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