|
1 |
 |
Applications of Neural Networks in High Assurance Systems [E-Book]
|
Schumann, Johann
|
2010 |
|
.
|
|
2 |
 |
¬Ein¬ Assistenzsystem für die sicherheitsoptimierte Längsführung von E-Fahrzeugen im urbanen Umfeld [E-Book]
|
Rothermel, Thomas
|
2018 |
|
.
|
|
3 |
 |
Automotive Cybersecurity: Security-Bausteine für Automotive Embedded Systeme [E-Book]
|
Wurm, Manuel
|
2022 |
|
.
|
|
4 |
 |
Bauen und Naturgefahren: Handbuch für konstruktiven Gebäudeschutz [E-Book]
|
Suda, Jürgen
|
2012 |
|
.
|
|
5 |
 |
Critical Information Infrastructures Security: 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
 500268079
|
.
|
|
6 |
 |
Critical Infrastructure: Reliability and Vulnerability [E-Book]
|
|
2007 |
|
.
|
|
7 |
 |
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings [E-Book]
|
|
2017 |
500257469
|
.
|
|
8 |
 |
Design and safety assessment of critical systems [Buch]
|
Bozzano, Marco
|
2011 |
|
Regalstandort: ZG 9285 B793.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
9 |
 |
Diagnosis of the Powertrain Systems for Autonomous Electric Vehicles [E-Book]
|
Shen, Tunan
|
2022 |
|
.
|
|
10 |
 |
Echtzeit 2020: Kommunikationssicherheit im Internet der Dinge (IoT) : Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG,) 20. November 2020 [E-Book]
|
Fachtagung "Echtzeit"<Veranstaltung> <2020, Online>
|
2021 |
|
.
|
|
11 |
 |
Echtzeit und Sicherheit: Echtzeit 2018 [E-Book]
|
Echtzeit<Veranstaltung> <2018, Boppard>
|
2018 |
|
.
|
|
12 |
 |
Formal methods for safety and security: case studies for aerospace applications [E-Book]
|
Application of Formal Methods for Safety and Security Critical Systems<Veranstaltung> <1., 2016, Bangalore>
|
2018 |
|
.
|
|
13 |
 |
Funktionale Sicherheit von Maschinen und Anlagen: Umsetzung der europäischen Maschinenrichtlinie in der Praxis [Buch]
|
Gehlen, Patrick
|
2007 |
|
Regalstandort: ZL 3360 G311.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
|
14 |
 |
Funktionale Sicherheit: Grundzüge sicherheitstechnischer Systeme [Buch]
|
Börcsök, Josef
|
2011 |
|
Regalstandort: ZG 9270 B672(3).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
|
15 |
 |
Funktionale Sicherheit: Echtzeit 2013 [E-Book]
|
Halang, Wolfgang A.
|
2013 |
|
.
|
|
16 |
 |
Herausforderungen durch Echtzeitbetrieb: Echtzeit 2011 [E-Book]
|
Halang, Wolfgang A.
|
2012 |
|
.
|
|
17 |
 |
Internet-Security aus Software-Sicht: Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche [E-Book]
|
|
2008 |
|
.
|
|
18 |
 |
Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering [E-Book]
|
|
2008 |
|
.
|
|
19 |
 |
Konfigurierung verteilter, sicherheitsrelevanter Echtzeitsysteme im Kraftfahrzeug [Buch]
|
Brummund, Stephan
|
2008 |
|
Regalstandort: ZO 4250 B893.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
20 |
 |
Kultur und sicheres Handeln [Buch]
|
|
2009 |
|
Regalstandort: CW 4500 S921.
Lit.abteilungen: Freihand.
Verfügbar in: ZB Scheffelstraße.
Anzahl Exemplare: 1.
|
