Skip to contents Hobbs, Chris [Author] Embedded software development for safety-critical systems Books View online Schließen 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] Früchtl, Martin [Author] Sicherheit eingebetteter Systeme auf Basis arithmetischer Codierungen Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kassel: Kassel University Press, 2014 Published in: Intelligent embedded systems ; 3 Powelleit, Matthias [Other] Verhaltensbezogene Kennwerte zeitkritischer Fahrmanöver : [Bericht zum Forschungsprojekt FE 82.0536/2011] Books View online Schließen 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 Fotoohi, Leila [Author] Dependable service robot : from hazard identification to formal verification of safety requirements Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 2012 Published in: Universität Bremen: Publication series of the Institute of Automation, University of Bremen / 3 ; 6 Giese, Holger [Editor] ; ISARCS 1 2010 Prag Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23 - 25, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6150 Gehlen, Patrick [Author] Funktionale Sicherheit von Maschinen und Anlagen : Umsetzung der europäischen Maschinenrichtlinie in der Praxis - [2., überarb. Aufl.] Books View online Schließen > Access ... to E-book via ProQuest Ebook Central Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Erlangen: Publicis Publ., 2010 Boulanger, Jean-Louis [Other] Safety of computer architectures Books View online Schließen 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 Lopez, Javier [Editor] ; CRITIS 1 2006 Critical information infrastructures security : first international workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006 ; revised papers Books View online Schließen 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 computer science ; 4347 Gehlen, Patrick [Author] Funktionale Sicherheit von Maschinen und Anlagen : Umsetzung der europäischen Maschinenrichtlinie in der Praxis Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Erlangen: PUBLICIS KommunikationsAgentur, c 2007 Published in: Kompendium der Niederspannungs-Schalttechnik Blom, Henk A. P. [Editor]; Blom, Henk A. [Editor] Stochastic hybrid systems : theory and safety critical applications Books View online Schließen 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 Tao, Gang [Other] Adaptive control of systems with actuator failures Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, 2004 Shen, Tunan [Author] ; Reuss, Hans-Christian [Degree supervisor] Universität Stuttgart Diagnosis of the powertrain systems for autonomous electric vehicles Books View online Schließen 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 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 View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Singapore: Springer, [2018] Börcsök, Josef [Author] Funktionale Sicherheit : Grundzüge sicherheitstechnischer Systeme - [4., aktualisierte Auflage] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: VDE-Verl., 2015 Neukirchner, Moritz [Author] Establishing sufficient temporal independence efficiently : a monitoring approach - [1. Aufl.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier, 2014 Duplys, Paulius [Author] Side channel evaluation methodology for the automotive domain - [1. Aufl.] Books View online Schließen 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 Stein, Steffen [Author] Allowing flexibility in critical systems : the EPOC framework - [1. Aufl.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier, 2012 Schoitsch, Erwin [Editor] ; SAFECOMP 29 2010 Wien Computer safety, reliability, and security : 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6351 Flammini, Francesco [Editor]; Bologna, Sandro [Other]; Vittorini, Valeria [Other] ; SAFECOMP 30 2011 Neapel Computer safety, reliability, and security : 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6894 Dittmann, Jana [Adapter]; Hoppe, Tobias [Other]; Kiltz, Stefan [Other]; Tuchscheerer, Sven [Other] Elektronische Manipulation von Fahrzeug- und Infrastruktursystemen : Gefährdungspotentiale für die Straßenverkehrssicherheit ; [Bericht zum Forschungsprojekt FE 88.007/2009] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremerhaven: Wirtschaftsverl. N.W., Verl. für neue Wissenschaft, 2011 Published in: Bundesanstalt für Straßenwesen: Berichte der Bundesanstalt für Straßenwesen / F ; 78
Hobbs, Chris [Author] Embedded software development for safety-critical systems Books View online Schließen 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]
Früchtl, Martin [Author] Sicherheit eingebetteter Systeme auf Basis arithmetischer Codierungen Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kassel: Kassel University Press, 2014 Published in: Intelligent embedded systems ; 3
Powelleit, Matthias [Other] Verhaltensbezogene Kennwerte zeitkritischer Fahrmanöver : [Bericht zum Forschungsprojekt FE 82.0536/2011] Books View online Schließen 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
Fotoohi, Leila [Author] Dependable service robot : from hazard identification to formal verification of safety requirements Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 2012 Published in: Universität Bremen: Publication series of the Institute of Automation, University of Bremen / 3 ; 6
Giese, Holger [Editor] ; ISARCS 1 2010 Prag Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23 - 25, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6150
Gehlen, Patrick [Author] Funktionale Sicherheit von Maschinen und Anlagen : Umsetzung der europäischen Maschinenrichtlinie in der Praxis - [2., überarb. Aufl.] Books View online Schließen > Access ... to E-book via ProQuest Ebook Central Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Erlangen: Publicis Publ., 2010
Boulanger, Jean-Louis [Other] Safety of computer architectures Books View online Schließen 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
Lopez, Javier [Editor] ; CRITIS 1 2006 Critical information infrastructures security : first international workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006 ; revised papers Books View online Schließen 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 computer science ; 4347
Gehlen, Patrick [Author] Funktionale Sicherheit von Maschinen und Anlagen : Umsetzung der europäischen Maschinenrichtlinie in der Praxis Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Erlangen: PUBLICIS KommunikationsAgentur, c 2007 Published in: Kompendium der Niederspannungs-Schalttechnik
Blom, Henk A. P. [Editor]; Blom, Henk A. [Editor] Stochastic hybrid systems : theory and safety critical applications Books View online Schließen 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
Tao, Gang [Other] Adaptive control of systems with actuator failures Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, 2004
Shen, Tunan [Author] ; Reuss, Hans-Christian [Degree supervisor] Universität Stuttgart Diagnosis of the powertrain systems for autonomous electric vehicles Books View online Schließen 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
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 View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Singapore: Springer, [2018]
Börcsök, Josef [Author] Funktionale Sicherheit : Grundzüge sicherheitstechnischer Systeme - [4., aktualisierte Auflage] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: VDE-Verl., 2015
Neukirchner, Moritz [Author] Establishing sufficient temporal independence efficiently : a monitoring approach - [1. Aufl.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier, 2014
Duplys, Paulius [Author] Side channel evaluation methodology for the automotive domain - [1. Aufl.] Books View online Schließen 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
Stein, Steffen [Author] Allowing flexibility in critical systems : the EPOC framework - [1. Aufl.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier, 2012
Schoitsch, Erwin [Editor] ; SAFECOMP 29 2010 Wien Computer safety, reliability, and security : 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6351
Flammini, Francesco [Editor]; Bologna, Sandro [Other]; Vittorini, Valeria [Other] ; SAFECOMP 30 2011 Neapel Computer safety, reliability, and security : 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6894
Dittmann, Jana [Adapter]; Hoppe, Tobias [Other]; Kiltz, Stefan [Other]; Tuchscheerer, Sven [Other] Elektronische Manipulation von Fahrzeug- und Infrastruktursystemen : Gefährdungspotentiale für die Straßenverkehrssicherheit ; [Bericht zum Forschungsprojekt FE 88.007/2009] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremerhaven: Wirtschaftsverl. N.W., Verl. für neue Wissenschaft, 2011 Published in: Bundesanstalt für Straßenwesen: Berichte der Bundesanstalt für Straßenwesen / F ; 78
> Availability Skip to next facet Open Shelves (31) Wert ausschließen Stack Collection (43) Wert ausschließen Ask for availability (3) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (68) Wert ausschließen Central Library (8) 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) (7) Wert ausschließen In Copyright (1) Wert ausschließen Attribution (CC BY) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (47) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (84) Wert ausschließen Show more show less
> Language Skip to next facet English (131) Wert ausschließen German (79) Wert ausschließen French (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (160) Wert ausschließen Technology (105) Wert ausschließen Mathmatics (84) Wert ausschließen Economics (10) Wert ausschließen Political science (5) Wert ausschließen Sociology (4) Wert ausschließen General sciences (3) Wert ausschließen General (3) Wert ausschließen Jurisprudence (3) Wert ausschließen Geography (2) Wert ausschließen Medicine (2) Wert ausschließen Psychology (2) Wert ausschließen Art and art history (1) Wert ausschließen Military science (1) Wert ausschließen Musicology (1) Wert ausschließen Philosophy (1) Wert ausschließen Pedagogy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Lopez, Javier (6) Wert ausschließen Kieviet, Michael (5) Wert ausschließen Wratil, Peter (5) Wert ausschließen Bub, Udo (4) Wert ausschließen Fortino, Giancarlo (4) Wert ausschließen Halang, Wolfgang A. (4) Wert ausschließen Pathan, Mukaddim (4) Wert ausschließen Romanovsky, Alexander (4) Wert ausschließen Technische Universität Braunschweig (4) Wert ausschließen Wolthusen, Stephen (4) Wert ausschließen Bologna, Sandro (3) Wert ausschließen Börcsök, Josef (3) Wert ausschließen Ehrig, Hartmut (3) Wert ausschließen Fantechi, Alessandro (3) Wert ausschließen Flammini, Francesco (3) Wert ausschließen Gehlen, Patrick (3) Wert ausschließen Hämmerli, Bernhard M. (3) Wert ausschließen Li, Wenfeng (3) Wert ausschließen Rome, Erich (3) Wert ausschließen Röhrs, Werner (3) Wert ausschließen Setola, Roberto (3) Wert ausschließen Troubitsyna, Elena A. (3) Wert ausschließen Wolfenstetter, Klaus-Dieter (3) Wert ausschließen Alpuente, María (2) Wert ausschließen Barley, Mike (2) Wert ausschließen Bloomfield, Robin (2) Wert ausschließen Bock, Hans-Peter (2) Wert ausschließen Brim, Luboš (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 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 Ernst, Rolf (2) Wert ausschließen European Center for Information and Communication Technologies Berlin (2) Wert ausschließen Geretshuber, Stefan (2) Wert ausschließen Giese, Holger (2) Wert ausschließen Gollmann, Dieter (2) Wert ausschließen Guerrieri, Antonio (2) Wert ausschließen Górski, Janusz (2) Wert ausschließen Hanti, Thomas (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 Holzinger, Andreas (2) Wert ausschließen Hoppe, Tobias (2) Wert ausschließen Hutchison, David (2) Wert ausschließen Hyner, Dirk (2) Wert ausschließen INT 3 2004 Barcelona (2) Wert ausschließen Joubert, Christophe (2) Wert ausschließen Kanade, Takeo (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 Kowalewski, Stefan (2) Wert ausschließen Kurz, Constanze (2) Wert ausschließen Leucker, Martin (2) Wert ausschließen Leue, Stefan (2) Wert ausschließen Mattern, Friedemann (2) Wert ausschließen Merino, Pedro (2) Wert ausschließen Mitchell, John C. (2) Wert ausschließen Nah, Yunmook (2) Wert ausschließen Naor, Moni (2) Wert ausschließen Nenninger, Philipp (2) Wert ausschließen Nierstrasz, Oscar (2) Wert ausschließen Obermaisser, Roman (2) Wert ausschließen Oliveira, Marcel Vinícius Medeiros (2) Wert ausschließen Ortmeier, Frank (2) Wert ausschließen Oster, Norbert (2) Wert ausschließen Pandu Rangan, C. (2) Wert ausschließen Pol, Jaco van de (2) Wert ausschließen Puschner, Peter (2) Wert ausschließen Rabe, Gerd (2) Wert ausschließen Rammig, Franz J. (2) Wert ausschließen Reichel, Reinhard (2) Wert ausschließen Reuter, Christian (2) Wert ausschließen Rieger, Frank (2) Wert ausschließen Robert Bosch GmbH (2) Wert ausschließen Roveri, Marco (2) Wert ausschließen Saglietti, Francesca (2) Wert ausschließen Salaün, Gwen (2) Wert ausschließen Schoitsch, Erwin (2) Wert ausschließen Schätz, Bernhard (2) Wert ausschließen Seyfarth, Till (2) Wert ausschließen Steffen, Bernhard (2) Wert ausschließen Sudan, Madhu (2) Wert ausschließen Sujan, Mark-Alexander (2) Wert ausschließen Sültrop, Christian (2) Wert ausschließen Technische Universität Ilmenau (2) Wert ausschließen Terzopoulos, Demetri (2) Wert ausschließen Tjoa, A Min (2) Wert ausschließen Tygar, Doug (2) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (201) Wert ausschließen Lizenzfreie Online-Ressourcen (41) Wert ausschließen Diss online (6) Wert ausschließen Qucosa (2) Wert ausschließen Abschlussarbeiten der TU Dresden (1) Wert ausschließen Show more show less