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 View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Singapore: Springer, [2018] 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 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 View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier Verlag, 2016 Troubitsyna, Elena A. [Editor] ; SERENE 3 2011 Genf Software engineering for resilient systems : third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 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 ; 6968 Architecting dependable systems / [1] 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, 2003 Published in: Architecting dependable systems / Rogério de Lemos ... (ed.) ; [1] - Lecture notes in computer science ; 2677 Lemos, Rogério de [Editor] Architecting dependable systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 20XX- Published in: Lecture notes in computer science ; . - State-of-the art survey 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 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 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 Barley, Mike [Editor] Safety and security in multiagent systems : research results from 2004-2006 ; [The Safety and Security in Multiagent Systems (SASEMAS) series of workshops, that took place from 2004 to 2006] 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, 2009 Published in: Lecture notes in computer science ; 4324 Lemke, Kerstin [Editor]; Paar, Christof [Editor]; Wolf, Marko [Editor] Embedded security in cars : securing current and future automotive IT applications ; with 25 tables Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York: Springer, 2006 Romanovsky, Alexander [Editor]; Vardanega, Tullio [Other] ; Ada Europe, International Conference on Reliable Software Technologies 16 2011 Edinburgh Reliable software technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 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 ; 6652 Kowalewski, Stefan [Editor]; Roveri, Marco [Other] ; FMICS 15 2010 Antwerpen Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 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 ; 6371 Harrison, Michael D. [Other]; Sujan, Mark-Alexander [Other]; Harrison, Michael Douglas [Editor] ; SAFECOMP 27 2008 Newcastle-upon-Tyne Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008 ; 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, 2008 Published in: Lecture notes in computer science ; 5219 Buth, Bettina [Editor]; Rabe, Gerd [Other]; Seyfarth, Till [Other] ; SAFECOMP 28 2009 Hamburg Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; 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, 2009 Published in: Lecture notes in computer science ; 5775 Leue, Stefan [Editor]; Merino, Pedro [Other] ; FMICS 12 2007 Berlin Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected 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, 2008 Published in: Lecture notes in computer science ; 4916 Alpuente, María [Editor]; Cook, Byron [Other]; Joubert, Christophe [Other] ; FMICS 14 2009 Eindhoven Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; 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, 2009 Published in: Lecture notes in computer science ; 5825 Winther, Rune [Editor] ; SAFECOMP 24 2005 Fredrikstad Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28 - 30, 2005 ; 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, 2005 Published in: Lecture notes in computer science ; 3688 Górski, Janusz [Editor] ; SAFECOMP 25 2006 Danzig Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdansk, Poland, September 27 - 29, 2006 ; 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, 2006 Published in: Lecture notes in computer science ; 4166 Saglietti, Francesca [Editor]; Oster, Norbert [Other] ; SAFECOMP 26 2007 Nürnberg Computer safety, reliability, and security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 ; 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, 2007 Published in: Lecture notes in computer science ; 4680
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]
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
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 View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Göttingen: Cuvillier Verlag, 2016
Troubitsyna, Elena A. [Editor] ; SERENE 3 2011 Genf Software engineering for resilient systems : third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 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 ; 6968
Architecting dependable systems / [1] 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, 2003 Published in: Architecting dependable systems / Rogério de Lemos ... (ed.) ; [1] - Lecture notes in computer science ; 2677
Lemos, Rogério de [Editor] Architecting dependable systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 20XX- Published in: Lecture notes in computer science ; . - State-of-the art survey
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
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
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
Barley, Mike [Editor] Safety and security in multiagent systems : research results from 2004-2006 ; [The Safety and Security in Multiagent Systems (SASEMAS) series of workshops, that took place from 2004 to 2006] 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, 2009 Published in: Lecture notes in computer science ; 4324
Lemke, Kerstin [Editor]; Paar, Christof [Editor]; Wolf, Marko [Editor] Embedded security in cars : securing current and future automotive IT applications ; with 25 tables Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York: Springer, 2006
Romanovsky, Alexander [Editor]; Vardanega, Tullio [Other] ; Ada Europe, International Conference on Reliable Software Technologies 16 2011 Edinburgh Reliable software technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 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 ; 6652
Kowalewski, Stefan [Editor]; Roveri, Marco [Other] ; FMICS 15 2010 Antwerpen Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 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 ; 6371
Harrison, Michael D. [Other]; Sujan, Mark-Alexander [Other]; Harrison, Michael Douglas [Editor] ; SAFECOMP 27 2008 Newcastle-upon-Tyne Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008 ; 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, 2008 Published in: Lecture notes in computer science ; 5219
Buth, Bettina [Editor]; Rabe, Gerd [Other]; Seyfarth, Till [Other] ; SAFECOMP 28 2009 Hamburg Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; 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, 2009 Published in: Lecture notes in computer science ; 5775
Leue, Stefan [Editor]; Merino, Pedro [Other] ; FMICS 12 2007 Berlin Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected 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, 2008 Published in: Lecture notes in computer science ; 4916
Alpuente, María [Editor]; Cook, Byron [Other]; Joubert, Christophe [Other] ; FMICS 14 2009 Eindhoven Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; 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, 2009 Published in: Lecture notes in computer science ; 5825
Winther, Rune [Editor] ; SAFECOMP 24 2005 Fredrikstad Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28 - 30, 2005 ; 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, 2005 Published in: Lecture notes in computer science ; 3688
Górski, Janusz [Editor] ; SAFECOMP 25 2006 Danzig Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdansk, Poland, September 27 - 29, 2006 ; 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, 2006 Published in: Lecture notes in computer science ; 4166
Saglietti, Francesca [Editor]; Oster, Norbert [Other] ; SAFECOMP 26 2007 Nürnberg Computer safety, reliability, and security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 ; 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, 2007 Published in: Lecture notes in computer science ; 4680
> Media type Skip to next facet Books (84) Wert ausschließen Thesis (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (3) Wert ausschließen Stack Collection (22) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (25) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution - No Derivs (CC BY-ND) (8) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (21) Wert ausschließen Without Specification (38) Wert ausschließen Show more show less
> Language Skip to next facet English (70) Wert ausschließen German (15) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (66) Wert ausschließen Technology (43) Wert ausschließen Mathmatics (41) Wert ausschließen General sciences (1) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (1) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Romanovsky, Alexander (5) Wert ausschließen Fantechi, Alessandro (3) Wert ausschließen Fortino, Giancarlo (3) Wert ausschließen Lemos, Rogério de (3) Wert ausschließen Pathan, Mukaddim (3) Wert ausschließen Rosen, Jean-Pierre (3) Wert ausschließen Troubitsyna, Elena A. (3) Wert ausschließen Ada Europe (2) Wert ausschließen Alpuente, María (2) Wert ausschließen Barley, Mike (2) Wert ausschließen Bologna, Sandro (2) Wert ausschließen Brim, Luboš (2) Wert ausschließen Buth, Bettina (2) Wert ausschließen Cofer, Darren (2) Wert ausschließen Cook, Byron (2) Wert ausschließen Dal Cin, Mario (2) Wert ausschließen Daniel, Peter (2) Wert ausschließen Di Fatta, Giuseppe (2) Wert ausschließen Flammini, Francesco (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 Harrison, Michael D. (2) Wert ausschließen Haverkort, Boudewijn (2) Wert ausschließen Joubert, Christophe (2) Wert ausschließen Kaâniche, Mohamed (2) Wert ausschließen Kowalewski, Stefan (2) Wert ausschließen Leucker, Martin (2) Wert ausschließen Leue, Stefan (2) Wert ausschließen Li, Wenfeng (2) Wert ausschließen Merino, Pedro (2) Wert ausschließen Mürken, Michael (2) Wert ausschließen Ortmeier, Frank (2) Wert ausschließen Oster, Norbert (2) Wert ausschließen Pol, Jaco van de (2) Wert ausschließen Rabe, Gerd (2) Wert ausschließen Roveri, Marco (2) Wert ausschließen Saglietti, Francesca (2) Wert ausschließen Schoitsch, Erwin (2) Wert ausschließen Seyfarth, Till (2) Wert ausschließen Strohmeier, Alfred (2) Wert ausschließen Sujan, Mark-Alexander (2) Wert ausschließen Tjoa, A Min (2) Wert ausschließen Vardanega, Tullio (2) Wert ausschließen Vittorini, Valeria (2) Wert ausschließen Winther, Rune (2) Wert ausschließen ARES 2011 Wien (1) Wert ausschließen AVL Deutschland (1) Wert ausschließen Adee, Ahmad (1) Wert ausschließen Ali, Shawkat (1) Wert ausschließen Appenrodt, Nils (1) Wert ausschließen Application of Formal Methods for Safety and Security Critical Systems Veranstaltung 1. 2016 Bangalore (1) Wert ausschließen Aribal, Alp (1) Wert ausschließen Avgeriou, Paris (1) Wert ausschließen Axer, Philip (1) Wert ausschließen BMW Group (1) Wert ausschließen Barner, Simon (1) Wert ausschließen Baumgärtner, Florian (1) Wert ausschließen Bayerische Motoren Werke (1) Wert ausschließen Bereković, Mladen (1) Wert ausschließen Bitsch, Friedemann (1) Wert ausschließen Blöcher, Hans-Ludwig (1) Wert ausschließen Bock, Hans-Peter (1) Wert ausschließen Camargo Jr., Joao Batista (1) Wert ausschließen Chemnitzer Werkstoffmechanik GmbH (1) Wert ausschließen Crnkovic, Ivica (1) Wert ausschließen Dahll, Gustav (1) Wert ausschließen Daimler AG (1) Wert ausschließen Döbbert, Thomas Robert (1) Wert ausschließen Dörflinger, Alexander (1) Wert ausschließen EDCC 5 2005 Budapest (1) Wert ausschließen Echtzeit Veranstaltung 2018 Boppard (1) Wert ausschließen Eric Cuvillier Firma (1) Wert ausschließen European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems (1) Wert ausschließen FMICS 12 2007 Berlin (1) Wert ausschließen FMICS 13 2008 L'Aquila (1) Wert ausschließen FMICS 14 2009 Eindhoven (1) Wert ausschließen FMICS 15 2010 Antwerpen (1) Wert ausschließen FZI Forschungszentrum Informatik (1) Wert ausschließen Fotoohi, Leila (1) Wert ausschließen Freinatis, Stefan (1) Wert ausschließen Frey, Michael (1) Wert ausschließen Gacek, Cristina (1) Wert ausschließen Gerres, Sebastian (1) Wert ausschließen Gesellschaft für Informatik (1) Wert ausschließen Glaser, Markus (1) Wert ausschließen Gorbenko, Anatoliy (1) Wert ausschließen Gran, Bjoern Axel (1) Wert ausschließen Guiochet, Jérémie (1) Wert ausschließen Haag, Stefan (1) Wert ausschließen Han, Chenlei (1) Wert ausschließen Harrison, Michael Douglas (1) Wert ausschließen Hutchison, David (1) Wert ausschließen ISARCS 1 2010 Prag (1) Wert ausschließen Imle, Sebastian (1) Wert ausschließen Informationstechnische Gesellschaft (1) Wert ausschließen International Conference on Reliable Software Technologies 16 2011 Edinburgh (1) Wert ausschließen International Conference on Reliable Software Technologies 8 2003 Toulouse (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (72) Wert ausschließen Diss online (11) Wert ausschließen Lizenzfreie Online-Ressourcen (9) Wert ausschließen BASE - Bielefeld Academic Search Engine (2) Wert ausschließen Abschlussarbeiten der TU Dresden (1) Wert ausschließen Universität Siegen: OPUS Siegen (1) Wert ausschließen Show more show less