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
Méry, Dominique [Editor]; Merz, Stephan [Other] ; IFM 8 2010 Nancy

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 ; proceedings

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 ; 6396
Leuschel, Michael [Editor]; Wehrheim, Heike [Other] ; IFM 7 2009 Düsseldorf

Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; proceedings

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 ; 5423
Boiten, Eerke [Other]; Boiten, Eerke A. [Editor] ; IFM 4 2004 Canterbury

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; proceedings

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 ; 2999
Smith, Graeme P. [Other]; Pol, Jaco C. van de [Other]; Romijn, Judi M. [Editor] ; IFM 5 2005 Eindhoven

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 ; proceedings

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 ; 3771
Butler, Michael [Editor] ; IFM 3 2002 Turku

Integrated formal methods : third international conference ; proceedings

Close

Bookmarks

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

Berlin; Heidelberg; New York [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2335
Grieskamp, Wolfgang [Editor]; Santen, Thomas [Other]; Stoddart, Bill [Other] ; IFM 2 2000 Dagstuhl

Integrated formal methods : Second international conference, Dagstuhl Castle, Germany, November 1 - 3, 2000 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1945
Wing, Jeannette M. [Editor] ; FM 1 1999 Toulouse

FM '99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; .
Fitzgerald, John [Editor] ; FME 4 1997 Graz

FME '97: Industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1313
Fuchß, Thomas [Author]

Eine temporale Logik der Prozesse - [Als Ms. gedr.]

Close

Bookmarks

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

Aachen: Shaker, 1998

Published in: Berichte aus der Informatik
König, Hartmut [Author]

Protocol Engineering : Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen - [1. Auflage]

Close

Bookmarks

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

Stuttgart; Leipzig; Wiesbaden: Teubner, 2003

Published in: Leitfäden der Informatik
Herrmann, Peter [Author]

Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen

Close

Bookmarks

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

Wiesbaden: DUV, Dt. Univ.-Verl. [u.a.], 1998

Published in: DUV ; Informatik
Abrial, Jean-Raymond [Editor]; Börger, Egon [Honoree]; Glässer, Uwe [Other]

Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday

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 ; 5115
Davies, Jim [Editor]; Gibbons, Jeremy [Other] ; IFM 6 2007 Oxford

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2 - 5, 2007 ; proceedings

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 ; 4591
Schnieder, Eckehard [Editor] ; Forms 1999 Braunschweig, Workshop Forms 1999 Braunschweig

Forms '99 - formale Techniken für die Eisenbahnsicherung - [Als Ms. gedr.]

Close

Bookmarks

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

Düsseldorf: VDI-Verl., 2000

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 43600
Margaria, Tiziana [Other]; Steffen, Bernhard [Other]; Margaria-Steffen, Tiziana [Editor] ; ISoLA 1 2004 Paphos

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

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 ; 4313
Bernardo, Marco [Editor]; Hillston, Jane [Other] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 7 2007 Bertinoro

Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures

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 ; 4486
Girault, Claude [Author]; Valk, Rüdiger [Author]

Petri nets for systems engineering : a guide to modeling, verification, and applications ; with 9 tables

Close

Bookmarks

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

Berlin; Heidelberg; New York; London: Springer, 2003
Katoen, Joost-Pieter [Editor] ; International AMAST Workshop 5 1999 Bamberg

Formal methods for real time and probabilistic systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26 - 28, 1999 ; proceedings

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 ; 1601
Gaudel, Marie-Claude [Editor] ; FME 3 1996 Oxford

Industrial benefit and advances in formal methods : Oxford, UK, March 18 - 22, 1996 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1051

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