Skip to contents

Kropf, Thomas [Editor]

Formal hardware verification : methods and systems in comparison

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

Published in: Lecture notes in computer science ; 1287
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

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 ; 5423
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

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 ; 6396
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

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 ; 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

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 ; 3771
Beckert, Bernhard [Editor]; Marché, Claude [Other] ; FoVeOOS 2010 Paris

Formal verification of object-oriented software : International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers

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 ; 6528
Manna, Zohar [Editor]; Pnueli, Amir [Honoree]; Peled, Doron A. [Other]

Time for verification : essays in memory of Amir Pnueli

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 ; 6200
Kühne, Ulrich [Author]

Advanced automation in formal verification of processors

View online
Schließen

Close

Bookmarks

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

Aachen: Shaker, 2009

Published in: Berichte aus der Informatik
Shankar, Natarajan [Editor]; Woodcock, Jim [Other] ; VSTTE 2 2008 Toronto

Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 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 ; 5295
Schagaev, Igor [Author]; Kaegi-Trachsel, Thomas [Author]

Software design for resilient computer systems

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Cham: Springer, [2016]
Höreth, Stefan [Author]

Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen - [Als Ms. gedr.]

View online
Schließen

Close

Bookmarks

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

Düsseldorf: VDI-Verl., 1999

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 29500
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

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 ; 4591
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

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 ; 4313
Dong, Jin Song [Editor] ; International Conference on Formal Engineering Methods 5 2003 Singapur

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, Singapore, November 5-7, 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 ; 2885
Lau, Kung-Kiu [Editor]; Banach, Richard [Other] ; International Conference on Formal Engineering Methods 7 2005 Manchester

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 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 ; 3785
Grabowski, Jens [Editor] ; FATES 4 2004 Linz

Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 ; revised selected papers

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 ; 3395
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
Bernardo, Marco [Editor]; Cimatti, Alessandro [Other] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 6 2006 Bertinoro

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006 ; advanced lectures

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 ; 3965
Wang, Farn [Editor] ; ATVA 2 2004 Taipeh

Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 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 ; 3299
Börger, Egon [Editor] ; ASM 10 2003 Taormina

Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; 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 ; 2589

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