Zum Inhalt springen

Peleska, Jan [VerfasserIn]

Formal methods and the development of dependable systems

Schließen

Merkliste

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

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

Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9612
Méry, Dominique [HerausgeberIn]; Merz, Stephan [Sonstige Person, Familie und Körperschaft] ; IFM 8 2010 Nancy

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 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 ; 6396
Leuschel, Michael [HerausgeberIn]; Wehrheim, Heike [Sonstige Person, Familie und Körperschaft] ; IFM 7 2009 Düsseldorf

Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 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 ; 5423
Boiten, Eerke [Sonstige Person, Familie und Körperschaft]; Boiten, Eerke A. [HerausgeberIn] ; IFM 4 2004 Canterbury

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; 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, 2004

Erschienen in: Lecture notes in computer science ; 2999
Smith, Graeme P. [Sonstige Person, Familie und Körperschaft]; Pol, Jaco C. van de [Sonstige Person, Familie und Körperschaft]; Romijn, Judi M. [HerausgeberIn] ; IFM 5 2005 Eindhoven

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 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 ; 3771
Butler, Michael [HerausgeberIn] ; IFM 3 2002 Turku

Integrated formal methods : third international conference ; proceedings

Schließen

Merkliste

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

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

Erschienen in: Lecture notes in computer science ; 2335
Grieskamp, Wolfgang [HerausgeberIn]; Santen, Thomas [Sonstige Person, Familie und Körperschaft]; Stoddart, Bill [Sonstige Person, Familie und Körperschaft] ; IFM 2 2000 Dagstuhl

Integrated formal methods : Second international conference, Dagstuhl Castle, Germany, November 1 - 3, 2000 ; 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, 2000

Erschienen in: Lecture notes in computer science ; 1945
Wing, Jeannette M. [HerausgeberIn] ; 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

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, 19XX-

Erschienen in: Lecture notes in computer science ; .
Fitzgerald, John [HerausgeberIn] ; 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

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

Erschienen in: Lecture notes in computer science ; 1313
Fuchß, Thomas [VerfasserIn]

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

Schließen

Merkliste

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

Aachen: Shaker, 1998

Erschienen in: Berichte aus der Informatik
König, Hartmut [VerfasserIn]

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

Schließen

Merkliste

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

Stuttgart; Leipzig; Wiesbaden: Teubner, 2003

Erschienen in: Leitfäden der Informatik
Herrmann, Peter [VerfasserIn]

Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen

Schließen

Merkliste

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

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

Erschienen in: DUV ; Informatik
Abrial, Jean-Raymond [HerausgeberIn]; Börger, Egon [GefeierteR]; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]

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

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 ; 5115
Davies, Jim [HerausgeberIn]; Gibbons, Jeremy [Sonstige Person, Familie und Körperschaft] ; IFM 6 2007 Oxford

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2 - 5, 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 ; 4591
Schnieder, Eckehard [HerausgeberIn] ; Forms 1999 Braunschweig, Workshop Forms 1999 Braunschweig

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

Schließen

Merkliste

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

Düsseldorf: VDI-Verl., 2000

Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 43600
Margaria, Tiziana [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 1 2004 Paphos

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; 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, 2006

Erschienen in: Lecture notes in computer science ; 4313
Bernardo, Marco [HerausgeberIn]; Hillston, Jane [Sonstige Person, Familie und Körperschaft] ; 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

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

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

Schließen

Merkliste

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

Berlin; Heidelberg; New York; London: Springer, 2003
Katoen, Joost-Pieter [HerausgeberIn] ; 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

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

Erschienen in: Lecture notes in computer science ; 1601
Gaudel, Marie-Claude [HerausgeberIn] ; FME 3 1996 Oxford

Industrial benefit and advances in formal methods : Oxford, UK, March 18 - 22, 1996 ; 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, 1996

Erschienen in: Lecture notes in computer science ; 1051

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