Skip to contents 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] Sgobba, Tommaso [Editor]; Kanki, Barbara G. [Editor]; Clervoy, Jean-François [Editor]; Sandal, Gro Mjeldheim [Editor] Space safety and human performance Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Butterworth-Heinemann, an imprint of Elsevier, [2018] Günther, Andreas [Author] ; Verlag Dr. Hut München, Technische Universität Dresden Entwicklung eines respiratorischen Systems zur maskenlosen Atemgasanalyse in der terrestrischen und Raumfahrtmedizin Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Verlag Dr. Hut, 2016 Schrogl, Kai-Uwe [Editor] Handbook of space security / 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer Reference, 2015 Published in: Handbook of space security / Kai-Uwe Schrogl ... eds. ; 1 Schrogl, Kai-Uwe [Editor] Handbook of space security / 2 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer Reference, 2015 Published in: Handbook of space security / Kai-Uwe Schrogl ... eds. ; 2 Petersen, Edward [Author] Single event effects in aerospace - [1. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hoboken, NJ: Wiley, c2011 ; [Piscataway, NJ]: IEEE Press, c2011 Saleh, Joseph [Author]; Castet, Jean-François [Author] ; Saleh, Joseph Homer [Other] Spacecraft reliability and multi-state failures : a statistical approach Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hoboken, NJ: Wiley, 2011 Musgrave, Gary Eugene [Editor] Safety design for space systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Butterworth-Heinemann, 2009 Vogt, Gregory L. [Author] Disasters in space exploration - [Rev. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Brookfield, Conn.: Millbrook Press, 2003 Shayler, David J. [Author] Disasters and accidents in manned spaceflight Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chichester: Praxis Publ., 2000 ; London; Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Springer-Praxis books in astronomy and space sciences Gründer, Matthias [Author] SOS im All : Pannen, Probleme und Katastrophen der bemannten Raumfahrt Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Schwarzkopf und Schwarzkopf, 2000 European Cooperation for Space Standardization Space project management - risk management Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Noordwijk: ESA Publ. Div., 2000 Jørgensen, Carsten [Other] ; Computer Resources International AS Kopenhagen, European Space Agency On-board software maintenance methodology : contract no. 10688/93/D/IM(SC); final report; CRI/OBSMT/final Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [København]: Computer Resources International A/S, 1997 Görlach, Thomas [Author] Semi-analytische Langzeitvorausberechnung von hohen Satellitenbahnen als Basis für die Bahnsteuerung - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1996 Published in: Technische Universität Braunschweig: ZLR-Forschungsbericht ; 199608 Very high pointing accuracy AOCS study / Executive summary Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bristol, 1994 Published in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; exec Very high pointing accuracy AOCS study / Final report, vol. 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bristol, 1993 Published in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,1 Very high pointing accuracy AOCS study / Final report, vol. 2 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bristol, 1993 Published in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,2 Very high pointing accuracy AOCS study / Final report, vol. 3 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bristol, 1993 Published in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,3 Very high pointing accuracy AOCS study / Final report, vol. 4 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bristol, 1993 Published in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,4 Janicot, F. [Author]; Frey, J. D. [Author] Assessment of computer codes for hyper velocity impact simulation : executive summary; ESA ESTEC contract nb 8768/90/NL/PP; Rev. 0 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Rungis: Engineering Systems Internat., 1992
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]
Sgobba, Tommaso [Editor]; Kanki, Barbara G. [Editor]; Clervoy, Jean-François [Editor]; Sandal, Gro Mjeldheim [Editor] Space safety and human performance Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Butterworth-Heinemann, an imprint of Elsevier, [2018]
Günther, Andreas [Author] ; Verlag Dr. Hut München, Technische Universität Dresden Entwicklung eines respiratorischen Systems zur maskenlosen Atemgasanalyse in der terrestrischen und Raumfahrtmedizin Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Verlag Dr. Hut, 2016
Schrogl, Kai-Uwe [Editor] Handbook of space security / 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer Reference, 2015 Published in: Handbook of space security / Kai-Uwe Schrogl ... eds. ; 1
Schrogl, Kai-Uwe [Editor] Handbook of space security / 2 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer Reference, 2015 Published in: Handbook of space security / Kai-Uwe Schrogl ... eds. ; 2
Petersen, Edward [Author] Single event effects in aerospace - [1. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hoboken, NJ: Wiley, c2011 ; [Piscataway, NJ]: IEEE Press, c2011
Saleh, Joseph [Author]; Castet, Jean-François [Author] ; Saleh, Joseph Homer [Other] Spacecraft reliability and multi-state failures : a statistical approach Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hoboken, NJ: Wiley, 2011
Musgrave, Gary Eugene [Editor] Safety design for space systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford [u.a.]: Butterworth-Heinemann, 2009
Vogt, Gregory L. [Author] Disasters in space exploration - [Rev. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Brookfield, Conn.: Millbrook Press, 2003
Shayler, David J. [Author] Disasters and accidents in manned spaceflight Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Chichester: Praxis Publ., 2000 ; London; Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Springer-Praxis books in astronomy and space sciences
Gründer, Matthias [Author] SOS im All : Pannen, Probleme und Katastrophen der bemannten Raumfahrt Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Schwarzkopf und Schwarzkopf, 2000
European Cooperation for Space Standardization Space project management - risk management Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Noordwijk: ESA Publ. Div., 2000
Jørgensen, Carsten [Other] ; Computer Resources International AS Kopenhagen, European Space Agency On-board software maintenance methodology : contract no. 10688/93/D/IM(SC); final report; CRI/OBSMT/final Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [København]: Computer Resources International A/S, 1997
Görlach, Thomas [Author] Semi-analytische Langzeitvorausberechnung von hohen Satellitenbahnen als Basis für die Bahnsteuerung - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1996 Published in: Technische Universität Braunschweig: ZLR-Forschungsbericht ; 199608
Very high pointing accuracy AOCS study / Executive summary Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bristol, 1994 Published in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; exec
Very high pointing accuracy AOCS study / Final report, vol. 1 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bristol, 1993 Published in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,1
Very high pointing accuracy AOCS study / Final report, vol. 2 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bristol, 1993 Published in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,2
Very high pointing accuracy AOCS study / Final report, vol. 3 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bristol, 1993 Published in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,3
Very high pointing accuracy AOCS study / Final report, vol. 4 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bristol, 1993 Published in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,4
Janicot, F. [Author]; Frey, J. D. [Author] Assessment of computer codes for hyper velocity impact simulation : executive summary; ESA ESTEC contract nb 8768/90/NL/PP; Rev. 0 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Rungis: Engineering Systems Internat., 1992
> Availability Skip to next facet Open Shelves (10) Wert ausschließen Stack Collection (13) Wert ausschließen Ask for availability (6) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (28) Wert ausschließen Central Library (2) Wert ausschließen Show more show less
> Language Skip to next facet English (24) Wert ausschließen German (4) Wert ausschließen Russian (2) Wert ausschließen Show more show less
> Subject Skip to next facet Technology (30) Wert ausschließen Sociology (2) Wert ausschließen Computer science (1) Wert ausschließen Medicine (1) Wert ausschließen Physics (1) Wert ausschließen Show more show less
> Creator Skip to next facet European Space Agency (4) Wert ausschließen Schrogl, Kai-Uwe (3) Wert ausschließen Petersen, Edward (2) Wert ausschließen Aerospatiale Protection Systèmes Mantes-la-Jolie (1) Wert ausschließen Application of Formal Methods for Safety and Security Critical Systems Veranstaltung 1. 2016 Bangalore (1) Wert ausschließen Beregovoj, Georgij T. (1) Wert ausschließen Castet, Jean-François (1) Wert ausschließen Clervoy, Jean-François (1) Wert ausschließen Computer Resources International AS Kopenhagen (1) Wert ausschließen ERNO-Raumfahrttechnik-GmbH Bremen (1) Wert ausschließen European Cooperation for Space Standardization (1) Wert ausschließen European Space Research and Technology Centre (1) Wert ausschließen Frey, J. D. (1) Wert ausschließen Gründer, Matthias (1) Wert ausschließen Görlach, Thomas (1) Wert ausschließen Günther, Andreas (1) Wert ausschließen Hunt, Jim (1) Wert ausschließen Janicot, F. (1) Wert ausschließen Jeppu, Yogananda (1) Wert ausschließen Jørgensen, Carsten (1) Wert ausschließen Kanki, Barbara G. (1) Wert ausschließen Majorov, Anatolij V. (1) Wert ausschließen Mollerat, T. de (1) Wert ausschließen Moskatov, Genrich K. (1) Wert ausschließen Musgrave, Gary Eugene (1) Wert ausschließen Nanda, Manju (1) Wert ausschließen Saleh, Joseph (1) Wert ausschließen Saleh, Joseph Homer (1) Wert ausschließen Sandal, Gro Mjeldheim (1) Wert ausschließen Sgobba, Tommaso (1) Wert ausschließen Shayler, David J. (1) Wert ausschließen Société nationale industrielle aérospatiale Division systemes balistiques et spatiaux (1) Wert ausschließen Symposium Space Product Assurance for Europe in the 1990s 1991 Noordwijk (1) Wert ausschließen Technische Universität Dresden (1) Wert ausschließen USA Federal Aviation Administration (1) Wert ausschließen Verein Deutscher Ingenieure (1) Wert ausschließen Verlag Dr. Hut München (1) Wert ausschließen Vidal, Ch (1) Wert ausschließen Vogt, Gregory L. (1) Wert ausschließen Wiley InterScience (Online service) (1) Wert ausschließen Šibanov, Georgij P. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (30) Wert ausschließen Fachkatalog Technikgeschichte (2) Wert ausschließen Show more show less