Skip to contents

Peleska, Jan [Author]

Formal methods and the development of dependable systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9612
Richling, Jan [Other]

Autonomie in verteilten IT-Architekturen

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Oldenbourg-Verl., 2011
Morozov, Andrey [Author]

Dual-graph model for error propagation analysis of mechatronic systems

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Vogt, 2012

Published in: Beiträge aus der Automatisierungstechnik
Schoitsch, Erwin [Editor] ; SAFECOMP 29 2010 Wien

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

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
Breitman, Karin [Other]; Cavalcanti, Ana [Other]; Breitman, Karin K. [Editor] ; International Conference on Formal Engineering Methods 11 2009 Rio de Janeiro

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

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 ; 5885
Liu, Shaoying [Editor]; Maibaum, Tom [Other]; Araki, Keijiro [Other] ; International Conference on Formal Engineering Methods 10 2008 Kitakyūshū

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 ; proceedings

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 ; 5256
Kohlas, Jürg [Editor]

Dependable systems: software, computing, networks : research results of the DICS Program

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 ; 4028
Liu, Zhiming [Editor]; He, Jifeng [Other] ; International Conference on Formal Engineering Methods 8 2006 Macau

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006 ; proceedings

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 ; 4260
Butler, Michael [Editor]; Hinchey, Michael G. [Other]; Larrondo-Petrie, Maria M. [Other] ; International Conference on Formal Engineering Methods 9 2007 Boca Raton, Fla

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; proceedings

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 ; 4789
Anderson, Stuart [Editor] ; SAFECOMP 22 2003 Edinburgh

Computer safety, reliability, and security : 22nd international conference, SAFECOMP 2003, Edinburgh, UK, September 23 - 26, 2003 ; proceedings

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: Lecture notes in computer science ; 2788
Heisel, Maritta [Editor]; Liggesmeyer, Peter [Other]; Wittmann, Stefan [Other] ; SAFECOMP 23 2004 Potsdam

Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21 - 24, 2004 ; proceedings

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, 2004

Published in: Lecture notes in computer science ; 3219
Anderson, Stuart [Editor] ; SAFECOMP 21 2002 Catania

Computer safety, reliability, and security : 21st international conference ; proceedings

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, 2002

Published in: Lecture notes in computer science ; 2434
Voges, Udo [Editor] ; SAFECOMP 20 2001 Budapest

Computer safety, reliability and security : 20th international conference, Budapest, Hungary, September 26 - 28, 2001 ; proceedings

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, 2001

Published in: Lecture notes in computer science ; 2187
Felici, Massimo [Editor] ; SAFECOMP 18 1999 Toulouse

Computer safety, reliability and security : proceedings ; 18th international conference

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, 1999

Published in: Lecture notes in computer science ; 1698
Sterpone, Luca [Author]

Electronics system design techniques for safety critical applications

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Dordrecht]: Springer, 2008

Published in: Lecture notes in electrical engineering ; 2600
Dong, Zhaoyang [Author]; Zhang, Pei [Author]

Emerging techniques in power system analysis

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 2010 ; Berlin; Heidelberg; Dordrecht [u.a.]: Springer, 2010
Gaudin, Emmanuel [Editor]; Najm, Elie [Other]; Reed, Rick [Other] ; SDL 13 2007 Paris

SDL 2007: design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 2007 ; proceedings

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 ; 4745
Dal Cin, Mario [Editor] ; EDCC 5 2005 Budapest

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

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 ; 3463
Lemos, Rogério de [Editor] ; LADC 1 2003 São Paulo

Dependable computing : first Latin-American symposium ; proceedings

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: Lecture notes in computer science ; 2847
Knepper, Roger [Author]

Die Anwendung der Semi-Markoff- und verwandten Prozesse als sicherheits- und zuverlässigkeitstechnisches Analyseverfahren zur quantitativen Bewertung technischer Systeme - [Als Ms. gedr]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: VDI-Verl., 1989

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 19800

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication