Zum Inhalt springen

Hobbs, Chris [VerfasserIn]

Embedded software development for safety-critical systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boca Raton; London; New York: CRC Press, [2016]
Nanda, Manju [HerausgeberIn]; Jeppu, Yogananda [HerausgeberIn] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Singapore: Springer, [2018]
Hafner, Michael [VerfasserIn]; Breu, Ruth [VerfasserIn]

Security engineering for service-oriented architectures

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2009
Troubitsyna, Elena A. [HerausgeberIn] ; SERENE 3 2011 Genf

Software engineering for resilient systems : third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6968
Halang, Wolfgang A. [HerausgeberIn] ; GI/GMA/ITG-Fachausschuss Echtzeitsysteme, Fachtagung Echtzeit 2011 Boppard

Herausforderungen durch Echtzeitbetrieb : Echtzeit 2011 ; 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), Boppard, 3. und 4. November 2011

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, c 2012

Erschienen in: Informatik aktuell - GI
Schoitsch, Erwin [HerausgeberIn] ; SAFECOMP 29 2010 Wien

Computer safety, reliability, and security : 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6351
Ehrig, Hartmut [HerausgeberIn] ; Deutsche Forschungsgemeinschaft, Deutsche Forschungsgemeinschaft, INT 3 2004 Barcelona, ETAPS 7 2004 Barcelona

Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) ; final report

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3147
Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 4 2010 Heraklion

Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 20XX-

Erschienen in: Lecture notes in computer science ; .
Salaün, Gwen [HerausgeberIn]; Schätz, Bernhard [Sonstige Person, Familie und Körperschaft] ; FMICS 16 2011 Trient

Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29 - 30, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6959
Romanovsky, Alexander [HerausgeberIn]; Vardanega, Tullio [Sonstige Person, Familie und Körperschaft] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6652
Buth, Bettina [HerausgeberIn]; Rabe, Gerd [Sonstige Person, Familie und Körperschaft]; Seyfarth, Till [Sonstige Person, Familie und Körperschaft] ; SAFECOMP 28 2009 Hamburg

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5775
Alpuente, María [HerausgeberIn]; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft] ; FMICS 14 2009 Eindhoven

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5825
Kowalewski, Stefan [HerausgeberIn]; Roveri, Marco [Sonstige Person, Familie und Körperschaft] ; FMICS 15 2010 Antwerpen

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6371
Harrison, Michael D. [Sonstige Person, Familie und Körperschaft]; Sujan, Mark-Alexander [Sonstige Person, Familie und Körperschaft]; Harrison, Michael Douglas [HerausgeberIn] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5219
Leue, Stefan [HerausgeberIn]; Merino, Pedro [Sonstige Person, Familie und Körperschaft] ; FMICS 12 2007 Berlin

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4916
Górski, Janusz [HerausgeberIn] ; SAFECOMP 25 2006 Danzig

Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdansk, Poland, September 27 - 29, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4166
Saglietti, Francesca [HerausgeberIn]; Oster, Norbert [Sonstige Person, Familie und Körperschaft] ; SAFECOMP 26 2007 Nürnberg

Computer safety, reliability, and security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4680
Brim, Luboš [HerausgeberIn]; Haverkort, Boudewijn [Sonstige Person, Familie und Körperschaft]; Leucker, Martin [Sonstige Person, Familie und Körperschaft]; Pol, Jaco van de [Sonstige Person, Familie und Körperschaft] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4346
Winther, Rune [HerausgeberIn] ; SAFECOMP 24 2005 Fredrikstad

Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28 - 30, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3688
Dal Cin, Mario [HerausgeberIn] ; EDCC 5 2005 Budapest

Dependable computing - EDCC 2005 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20 - 22, 2005; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3463

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr