Skip to contents

Brinksma, Ed [Editor] ; CAV 14 2002 Kopenhagen

Computer aided verification : 14th international conference ; proceedings

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 ; 2404
Brinksma, Ed [Editor] ; European Educational Forum, Summerschool on Formal Methods and Performance Analysis 2000 Berg en Dal

Lectures on formal methods and performance analysis : revised lectures

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 ; 2090
Brinksma, Ed [Editor] ; TACAS 3 1997 Enschede

Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS '97, Enschede, The Netherlands, April 2 - 4, 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 ; 1217
Brinksma, Ed [Editor] ; International Federation for Information Processing Working Group on International Packet Switching for Computer Sharing, International Symposium on Protocol Specification, Testing, and Verification 9 1989 Enschede

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6 1 Ninth International Symposium on Protocol Specification, Testing and Verification; Enschede, The Netherlands, 6 - 9 June, 1989

Close

Bookmarks

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

Amsterdam [u.a.]: North-Holland, 1990
Brinksma, Ed [Other]; Cleaveland, Walter R. [Editor]; Larsen, Kim Guldstrand [Editor]; Margaria-Steffen, Tiziana [Editor]; Steffen, Bernhard [Editor] ; TACAS 1 1995 Århus

Tools and algorithms for the construction and analysis of systems : first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers

Close

Bookmarks

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

Berlin [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 1019
Brinksma, Ed [Other] ; TACAS 1 1995 Århus

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995 ; selected papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin [u.a.]: Springer, 1995 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 101900
Brinksma, Ed [Author] ; Larsen, Kim Guldstrand [Other]

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2404
Brinksma, Ed [Author] ; Hermanns, Holger [Other]; Katoen, Joost-Pieter [Other]

Lectures on Formal Methods and PerformanceAnalysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

Published in: Lecture notes in computer science ; 2090
Brinksma, Ed [Author] ; Cleaveland, W. Rance [Other]; Larsen, Kim G. [Other]; Margaria-Steffen, Tiziana [Other]; Steffen, Bernhard [Other]

Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

Published in: Lecture notes in computer science ; 1019
Brinksma, Ed [Author]

Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

Published in: Lecture notes in computer science ; 1217
Brinksma, Ed [Author]; Grieskamp, Wolfgang [Author]; Tretmans, Jan [Author] ; Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans [Contributor]

04371 Abstracts Collection – Perspectives of Model-Based Testing

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005
Brinksma, Ed [Author]; Grieskamp, Wolfgang [Author]; Tretmans, Jan [Author] ; Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans [Contributor]

04371 Summary – Perspectives of Model-Based Testing

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005
Brinksma, Ed [Author]; Peleska, Jan [Author]; Siegel, Michael [Author] ; Ed Brinksma and Jan Peleska and Michael Siegel [Contributor]

Test Automation for Reactive Systems - Theorie and Practice (Dagstuhl Seminar 98361)

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1998
Brinksma, Ed [Author]; Harel, David [Author]; Mader, Angelika [Author]; Stevens, Perdita [Author]; Wieringa, Roel [Author] ; Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa [Contributor]

06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS)

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007
Brinksma, Ed [Author]; Harel, David [Author]; Mader, Angelika [Author]; Stevens, Perdita [Author]; Wieringa, Roel [Author] ; Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa [Contributor]

06351 Summary – Methods for Modelling Software Systems (MMOSS)

View online
Schließen

Access

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007
Brinksma, Ed

Hybrid Systems: Computation and Control: The Challenges of Embedded Systems Engineering

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 2007

Published in: Hybrid Systems: Computation and Control
Brinksma, Ed

Applications and Theory of Petri Nets 2003: Compositional Theories of Qualitative and Quantitative Behaviour

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 2003

Published in: Applications and Theory of Petri Nets 2003
Brinksma, Ed

Verification is experimentation!

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 2001

Published in: International Journal on Software Tools for Technology Transfer
Brinksma, Ed

Cache consistency by design

View online
Schließen

Access

Close

Bookmarks

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

Springer Science and Business Media LLC, 1999

Published in: Distributed Computing
Brinksma, Ed

Computer Aided Verification: Formal Methods for Conformance Testing: Theory Can Be Practical

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

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

Springer Berlin Heidelberg, 1999

Published in: Computer Aided Verification

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