Skip to contents Wratil, Peter [Author]; Kieviet, Michael [Author] Sicherheitstechnik für Komponenten und Systeme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Hüthig, c 2007 Published in: Praxis Hobbs, Chris [Author] Embedded software development for safety-critical systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton; London; New York: CRC Press, [2016] Schagaev, Igor [Author]; Kaegi-Trachsel, Thomas [Author] Software design for resilient computer systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, [2016] Börcsök, Josef [Author] Funktionale Sicherheit : Grundzüge sicherheitstechnischer Systeme - [4., aktualisierte Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: VDE-Verl., 2015 Wratil, Peter [Author]; Kieviet, Michael [Author]; Röhrs, Werner [Author] Sicherheit für Maschinen und Anlagen : mechanische Einheiten, elektronische Systeme und sicherheitsgerichtete Programmierung - [2., neu bearb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: VDE-Verl., c 2015 Duplys, Paulius [Author] Side channel evaluation methodology for the automotive domain - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Verl. Dr. Hut, 2014 Published in: Informatik Wratil, Peter [Author]; Kieviet, Michael [Author]; Röhrs, Werner [Author] Sicherheit für Maschinen und Anlagen : mechanische Einheiten, elektronische Systeme und sicherheitsgerichtete Programmierung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: VDE-Verl., 2010 Börcsök, Josef [Author] Funktionale Sicherheit : Grundzüge sicherheitstechnischer Systeme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Hüthig, 2006 Published in: Hüthig Praxis Schliecker, Simon [Author] Performance analysis of multiprocessor real-time systems with shared resources = Performanzanalyse von Multiprozessor-Echtzeitsystemen mit gemeinsamen Ressourcen - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier, 2011 Wratil, Peter [Author] ; Kieviet, Michael [Other] Sicherheitstechnik für Komponenten und Systeme - [2., neu bearb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Offenbach: VDE-Verl., 2010 Published in: Praxis Powelleit, Matthias [Other] Verhaltensbezogene Kennwerte zeitkritischer Fahrmanöver : [Bericht zum Forschungsprojekt FE 82.0536/2011] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen: Fachverl. NW, 2015 Published in: Bundesanstalt für Straßenwesen: Berichte der Bundesanstalt für Straßenwesen / F ; 100 Nanda, Manju [Editor]; Jeppu, Yogananda [Editor] ; Application of Formal Methods for Safety and Security Critical Systems Veranstaltung 1. 2016 Bangalore Formal methods for safety and security : case studies for aerospace applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Singapore: Springer, [2018] Shen, Tunan [Author] ; Reuss, Hans-Christian [Degree supervisor] Universität Stuttgart Diagnosis of the powertrain systems for autonomous electric vehicles Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden; [Heidelberg]: Springer Vieweg, [2022] Published in: Wissenschaftliche Reihe Fahrzeugtechnik Universität Stuttgart- Research Stein, Steffen [Author] Allowing flexibility in critical systems : the EPOC framework - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier, 2012 Fotoohi, Leila [Author] Dependable service robot : from hazard identification to formal verification of safety requirements Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 2012 Published in: Institut für Automatisierungstechnik: Publication series of the Institute of Automation, University of Bremen / 3 ; 6 Schöbel, Markus [Author] Soziale Beeinflussung des Sicherheitshandelns in Organisationen mit hohem Gefährdungspotential Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hamburg: Kovač, 2005 Published in: Schriftenreihe Schriften zur Arbeits-, Betriebs- und Organisationspsychologie ; 17 Blom, Henk A. P. [Editor]; Blom, Henk A. [Editor] Stochastic hybrid systems : theory and safety critical applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in control and information sciences ; 33700 Axer, Philip [Author] ; Technische Universität Braunschweig, Eric Cuvillier Firma Performance of time-critical embedded systems under the influence of errors and error handling protocols - [1. Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier Verlag, 2016 Boulanger, Jean-Louis [Other] Safety of computer architectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hoboken, NJ.: Wiley & Sons, Inc., 2010 ; Hobiken, NJ: Wiley [u.a.], 2010 Architecting dependable systems / [1] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Architecting dependable systems / Rogério de Lemos ... (ed.) ; [1] - Lecture notes in computer science ; 2677
Wratil, Peter [Author]; Kieviet, Michael [Author] Sicherheitstechnik für Komponenten und Systeme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Hüthig, c 2007 Published in: Praxis
Hobbs, Chris [Author] Embedded software development for safety-critical systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boca Raton; London; New York: CRC Press, [2016]
Schagaev, Igor [Author]; Kaegi-Trachsel, Thomas [Author] Software design for resilient computer systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, [2016]
Börcsök, Josef [Author] Funktionale Sicherheit : Grundzüge sicherheitstechnischer Systeme - [4., aktualisierte Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: VDE-Verl., 2015
Wratil, Peter [Author]; Kieviet, Michael [Author]; Röhrs, Werner [Author] Sicherheit für Maschinen und Anlagen : mechanische Einheiten, elektronische Systeme und sicherheitsgerichtete Programmierung - [2., neu bearb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: VDE-Verl., c 2015
Duplys, Paulius [Author] Side channel evaluation methodology for the automotive domain - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Verl. Dr. Hut, 2014 Published in: Informatik
Wratil, Peter [Author]; Kieviet, Michael [Author]; Röhrs, Werner [Author] Sicherheit für Maschinen und Anlagen : mechanische Einheiten, elektronische Systeme und sicherheitsgerichtete Programmierung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: VDE-Verl., 2010
Börcsök, Josef [Author] Funktionale Sicherheit : Grundzüge sicherheitstechnischer Systeme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg: Hüthig, 2006 Published in: Hüthig Praxis
Schliecker, Simon [Author] Performance analysis of multiprocessor real-time systems with shared resources = Performanzanalyse von Multiprozessor-Echtzeitsystemen mit gemeinsamen Ressourcen - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier, 2011
Wratil, Peter [Author] ; Kieviet, Michael [Other] Sicherheitstechnik für Komponenten und Systeme - [2., neu bearb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Offenbach: VDE-Verl., 2010 Published in: Praxis
Powelleit, Matthias [Other] Verhaltensbezogene Kennwerte zeitkritischer Fahrmanöver : [Bericht zum Forschungsprojekt FE 82.0536/2011] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen: Fachverl. NW, 2015 Published in: Bundesanstalt für Straßenwesen: Berichte der Bundesanstalt für Straßenwesen / F ; 100
Nanda, Manju [Editor]; Jeppu, Yogananda [Editor] ; Application of Formal Methods for Safety and Security Critical Systems Veranstaltung 1. 2016 Bangalore Formal methods for safety and security : case studies for aerospace applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Singapore: Springer, [2018]
Shen, Tunan [Author] ; Reuss, Hans-Christian [Degree supervisor] Universität Stuttgart Diagnosis of the powertrain systems for autonomous electric vehicles Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden; [Heidelberg]: Springer Vieweg, [2022] Published in: Wissenschaftliche Reihe Fahrzeugtechnik Universität Stuttgart- Research
Stein, Steffen [Author] Allowing flexibility in critical systems : the EPOC framework - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier, 2012
Fotoohi, Leila [Author] Dependable service robot : from hazard identification to formal verification of safety requirements Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 2012 Published in: Institut für Automatisierungstechnik: Publication series of the Institute of Automation, University of Bremen / 3 ; 6
Schöbel, Markus [Author] Soziale Beeinflussung des Sicherheitshandelns in Organisationen mit hohem Gefährdungspotential Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hamburg: Kovač, 2005 Published in: Schriftenreihe Schriften zur Arbeits-, Betriebs- und Organisationspsychologie ; 17
Blom, Henk A. P. [Editor]; Blom, Henk A. [Editor] Stochastic hybrid systems : theory and safety critical applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in control and information sciences ; 33700
Axer, Philip [Author] ; Technische Universität Braunschweig, Eric Cuvillier Firma Performance of time-critical embedded systems under the influence of errors and error handling protocols - [1. Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier Verlag, 2016
Boulanger, Jean-Louis [Other] Safety of computer architectures Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hoboken, NJ.: Wiley & Sons, Inc., 2010 ; Hobiken, NJ: Wiley [u.a.], 2010
Architecting dependable systems / [1] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Architecting dependable systems / Rogério de Lemos ... (ed.) ; [1] - Lecture notes in computer science ; 2677
> Media type Skip to next facet Books (314) Wert ausschließen Thesis (15) Wert ausschließen Articles (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (38) Wert ausschließen Stack Collection (49) Wert ausschließen Ask for availability (4) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (82) Wert ausschließen Central Library (11) Wert ausschließen Branch Library of Law (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution - No Derivs (CC BY-ND) (9) Wert ausschließen In Copyright (2) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (143) Wert ausschließen Restricted Access (4) Wert ausschließen Without Specification (95) Wert ausschließen Show more show less
> Language Skip to next facet English (202) Wert ausschließen German (131) Wert ausschließen French (1) Wert ausschließen Show more show less
> Subject Skip to next facet Technology (144) Wert ausschließen Computer science (136) Wert ausschließen Mathmatics (26) Wert ausschließen Economics (10) Wert ausschließen Sociology (7) Wert ausschließen Political science (3) Wert ausschließen General (2) Wert ausschließen Medicine (2) Wert ausschließen Musicology (2) Wert ausschließen Psychology (2) Wert ausschließen Jurisprudence (2) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (1) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Geography (1) Wert ausschließen Art and art history (1) Wert ausschließen Military science (1) Wert ausschließen Philosophy (1) Wert ausschließen Pedagogy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Börcsök, Josef (6) Wert ausschließen Lopez, Javier (6) Wert ausschließen Halang, Wolfgang A. (5) Wert ausschließen Kieviet, Michael (5) Wert ausschließen Romanovsky, Alexander (5) Wert ausschließen Wratil, Peter (5) Wert ausschließen Bub, Udo (4) Wert ausschließen Fortino, Giancarlo (4) Wert ausschließen Gehlen, Patrick (4) Wert ausschließen Pathan, Mukaddim (4) Wert ausschließen Reif, Wolfgang (4) Wert ausschließen Robert Bosch GmbH (4) Wert ausschließen Technische Universität Braunschweig (4) Wert ausschließen Wilhelm, Reinhard (4) Wert ausschließen Wolthusen, Stephen (4) Wert ausschließen Zamani, Majid (4) Wert ausschließen Bock, Hans-Peter (3) Wert ausschließen Bologna, Sandro (3) Wert ausschließen Ehrig, Hartmut (3) Wert ausschließen Ernst, Rolf (3) Wert ausschließen Fantechi, Alessandro (3) Wert ausschließen Flammini, Francesco (3) Wert ausschließen Hagemann, Willem (3) Wert ausschließen Hanti, Thomas (3) Wert ausschließen Herczeg, Michael (3) Wert ausschließen Hämmerli, Bernhard M. (3) Wert ausschließen Kowalewski, Stefan (3) Wert ausschließen Lemos, Rogério de (3) Wert ausschließen Li, Wenfeng (3) Wert ausschließen Nenninger, Philipp (3) Wert ausschließen Obermaisser, Roman (3) Wert ausschließen Ortmeier, Frank (3) Wert ausschließen Pister, Markus (3) Wert ausschließen Rome, Erich (3) Wert ausschließen Rosen, Jean-Pierre (3) Wert ausschließen Röhrs, Werner (3) Wert ausschließen Setola, Roberto (3) Wert ausschließen Technische Universität Ilmenau (3) Wert ausschließen Troubitsyna, Elena A. (3) Wert ausschließen Universitätsverlag Ilmenau (3) Wert ausschließen Wolfenstetter, Klaus-Dieter (3) Wert ausschließen Abuteir, Mohammed (2) Wert ausschließen Ada Europe (2) Wert ausschließen Alpuente, María (2) Wert ausschließen Asfour, Tamim (2) Wert ausschließen Barley, Mike (2) Wert ausschließen Bauer, Bernhard (2) Wert ausschließen Baumann, Martin (2) Wert ausschließen Baumgarten, Uwe (2) Wert ausschließen Bellof, Marco (2) Wert ausschließen Benz, Stefan (2) Wert ausschließen Bitsch, Friedemann (2) Wert ausschließen Bloomfield, Robin (2) Wert ausschließen Brim, Luboš (2) Wert ausschließen Bund, Tobias Stefan (2) Wert ausschließen Buss, Martin (2) Wert ausschließen Buth, Bettina (2) Wert ausschließen Camenisch, Jan (2) Wert ausschließen Cofer, Darren (2) Wert ausschließen Cook, Byron (2) Wert ausschließen Corchado, Emilio (2) Wert ausschließen Dal Cin, Mario (2) Wert ausschließen Daniel, Peter (2) Wert ausschließen Deutsche Forschungsgemeinschaft (2) Wert ausschließen Di Fatta, Giuseppe (2) Wert ausschließen Dittmann, Jana (2) Wert ausschließen Dubovitskaya, Maria (2) Wert ausschließen ETAPS 7 2004 Barcelona (2) Wert ausschließen European Center for Information and Communication Technologies Berlin (2) Wert ausschließen FZI Forschungszentrum Informatik (2) Wert ausschließen Frey, Andreas (2) Wert ausschließen Geretshuber, Stefan (2) Wert ausschließen Giese, Holger (2) Wert ausschließen Golder, Markus (2) Wert ausschließen Gratzfeld, Peter (2) Wert ausschließen Guerrieri, Antonio (2) Wert ausschließen Górski, Janusz (2) Wert ausschließen Habermaier, Axel (2) Wert ausschließen Hahn, Axel (2) Wert ausschließen Hardt, Wolfram (2) Wert ausschließen Harre, Marie-Christin (2) Wert ausschließen Harris, Don (2) Wert ausschließen Harrison, Michael D. (2) Wert ausschließen Haverkort, Boudewijn (2) Wert ausschließen Herrero, Álvaro (2) Wert ausschließen Herrmann, Linda (2) Wert ausschließen Holzinger, Andreas (2) Wert ausschließen Hoppe, Tobias (2) Wert ausschließen Huck, Tom P. (2) Wert ausschließen Hutchison, David (2) Wert ausschließen INT 3 2004 Barcelona (2) Wert ausschließen Joubert, Christophe (2) Wert ausschließen Kanade, Takeo (2) Wert ausschließen Kaâniche, Mohamed (2) Wert ausschließen Kiltz, Stefan (2) Wert ausschließen Kisimov, Valentin (2) Wert ausschließen Kittler, Josef (2) Wert ausschließen Kleinberg, Jon (2) Wert ausschließen Knoop, Steffen (2) Wert ausschließen Kröger, Torsten (2) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (250) Wert ausschließen Lizenzfreie Online-Ressourcen (65) Wert ausschließen Diss online (62) Wert ausschließen BASE - Bielefeld Academic Search Engine (18) Wert ausschließen Augsburg University Publication Server (OPUS) (5) Wert ausschließen Scientific publications of the Saarland University (UdS) (5) Wert ausschließen Universität Siegen: OPUS Siegen (4) Wert ausschließen Qucosa (3) Wert ausschließen OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg (1) Wert ausschließen Share it - Open Access und Forschungsdaten-Repositorium der Hochschulbibliotheken in Sachsen-Anhalt (1) Wert ausschließen Show more show less