1 |
![Applications of Neural Networks in High Assurance Systems Applications of Neural Networks in High Assurance Systems](Cover.cls?type=cover&isbn=9783642106903&size=100) |
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 ¬Ein¬ Assistenzsystem für die sicherheitsoptimierte Längsführung von E-Fahrzeugen im urbanen Umfeld](Cover.cls?type=cover&isbn=9783658233372&size=100) |
¬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 Automotive Cybersecurity: Security-Bausteine für Automotive Embedded Systeme](Cover.cls?type=cover&isbn=9783662642283&size=100) |
Automotive Cybersecurity: Security-Bausteine für Automotive Embedded Systeme [E-Book]
|
Wurm, Manuel
|
2022 |
|
.
|
4 |
![Bauen und Naturgefahren: Handbuch für konstruktiven Gebäudeschutz Bauen und Naturgefahren: Handbuch für konstruktiven Gebäudeschutz](Cover.cls?type=cover&isbn=9783709106815&size=100) |
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 Critical Information Infrastructures Security: 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers](Cover.cls?type=cover&isbn=9783319713687&size=100) |
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 Critical Infrastructure: Reliability and Vulnerability](Cover.cls?type=cover&isbn=9783540680567&size=100) |
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 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](Cover.cls?type=cover&isbn=9783319671130&size=100) |
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 |
![Diagnosis of the Powertrain Systems for Autonomous Electric Vehicles Diagnosis of the Powertrain Systems for Autonomous Electric Vehicles](Cover.cls?type=cover&isbn=9783658369927&size=100) |
Diagnosis of the Powertrain Systems for Autonomous Electric Vehicles [E-Book]
|
Shen, Tunan
|
2022 |
|
.
|
9 |
![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 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](Cover.cls?type=cover&isbn=9783658328184&size=100) |
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 |
|
.
|
10 |
![Echtzeit und Sicherheit: Echtzeit 2018 Echtzeit und Sicherheit: Echtzeit 2018](Cover.cls?type=cover&isbn=9783662580967&size=100) |
Echtzeit und Sicherheit: Echtzeit 2018 [E-Book]
|
Echtzeit<Veranstaltung> <2018, Boppard>
|
2018 |
|
.
|
11 |
![Formal methods for safety and security: case studies for aerospace applications Formal methods for safety and security: case studies for aerospace applications](Cover.cls?type=cover&isbn=9789811041211&size=100) |
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 |
|
.
|
12 |
![Funktionale Sicherheit: Echtzeit 2013 Funktionale Sicherheit: Echtzeit 2013](Cover.cls?type=cover&isbn=9783642413094&size=100) |
Funktionale Sicherheit: Echtzeit 2013 [E-Book]
|
Halang, Wolfgang A.
|
2013 |
|
.
|
13 |
![Herausforderungen durch Echtzeitbetrieb: Echtzeit 2011 Herausforderungen durch Echtzeitbetrieb: Echtzeit 2011](Cover.cls?type=cover&isbn=9783642246586&size=100) |
Herausforderungen durch Echtzeitbetrieb: Echtzeit 2011 [E-Book]
|
Halang, Wolfgang A.
|
2012 |
|
.
|
14 |
![Internet-Security aus Software-Sicht: Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche Internet-Security aus Software-Sicht: Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche](Cover.cls?type=cover&isbn=9783540689065&size=100) |
Internet-Security aus Software-Sicht: Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche [E-Book]
|
|
2008 |
|
.
|
15 |
![Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering](Cover.cls?type=cover&isbn=9781848003729&size=100) |
Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering [E-Book]
|
|
2008 |
|
.
|
16 |
![Protecting Electrical Equipment: good practices for preventing high altitude electromagnetic pulse impacts Protecting Electrical Equipment: good practices for preventing high altitude electromagnetic pulse impacts](Cover.cls?type=cover&isbn=9783110639285&size=100) |
Protecting Electrical Equipment: good practices for preventing high altitude electromagnetic pulse impacts [E-Book]
|
Gurevich, Vladimir
|
2019 |
|
.
|
17 |
![Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems](Cover.cls?type=cover&isbn=9781848003842&size=100) |
Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems [E-Book]
|
|
2009 |
|
.
|
18 |
![Robuste Regelung: ein Leitfaden für sicherheitskritische Anwendungen Robuste Regelung: ein Leitfaden für sicherheitskritische Anwendungen](Cover.cls?type=cover&isbn=9783662541685&size=100) |
Robuste Regelung: ein Leitfaden für sicherheitskritische Anwendungen [E-Book]
|
Hrycej, Tomas
|
2018 |
|
.
|
19 |
![Sicherheitskritische Mensch-Computer-Interaktion: Interaktive Technologien und Soziale Medien im Krisen- und Sicherheitsmanagement Sicherheitskritische Mensch-Computer-Interaktion: Interaktive Technologien und Soziale Medien im Krisen- und Sicherheitsmanagement](Cover.cls?type=cover&isbn=9783658195236&size=100) |
Sicherheitskritische Mensch-Computer-Interaktion: Interaktive Technologien und Soziale Medien im Krisen- und Sicherheitsmanagement [E-Book]
|
|
2018 |
|
.
|
20 |
![Sicherheitskritische Mensch-Computer-Interaktion: interaktive Technologien und soziale Medien im Krisen- und Sicherheitsmanagement Sicherheitskritische Mensch-Computer-Interaktion: interaktive Technologien und soziale Medien im Krisen- und Sicherheitsmanagement](Cover.cls?type=cover&isbn=9783658327958&size=100) |
Sicherheitskritische Mensch-Computer-Interaktion: interaktive Technologien und soziale Medien im Krisen- und Sicherheitsmanagement [E-Book]
|
|
2021 |
|
.
|