No photo of Hendrik Brinksma

Hendrik Brinksma

prof.dr.

1987 …2017
If you made any changes in Pure these will be visible here soon.

Activities 1991 2000

  • 14 Oral presentation
Filter
Oral presentation

Model Checking: Verification or Debugging?

T.C. Ruys (Keynote speaker), Hendrik Brinksma (Keynote speaker)
27 Jun 2000

Activity: Talk or presentationOral presentation

Gebruik van Formele Methoden in de praktijk

Hendrik Brinksma (Invited speaker)
27 Apr 1999

Activity: Talk or presentationOral presentation

Het Milleniumprobleem

Hendrik Brinksma (Invited speaker)
1 Dec 1999

Activity: Talk or presentationOral presentation

On the Coverage of Partial Validations

Ed Brinksma (Keynote speaker)
10 Sep 1998

Activity: Talk or presentationOral presentation

On the Formal Validation of a Storm Surge Barrier

Hendrik Brinksma (Invited speaker)
4 May 1997

Activity: Talk or presentationOral presentation

Trial or Trade?

Hendrik Brinksma (Invited speaker)
21 Mar 1996

Activity: Talk or presentationOral presentation

Cache Consistency by Design

Ed Brinksma (Invited speaker)
9 Mar 1995

Activity: Talk or presentationOral presentation

Cache Consistency by Design

Ed Brinksma (Invited speaker)
25 Jul 1995

Activity: Talk or presentationOral presentation

Algorithm for the decomposition of processes in a process algebraic framework

Hendrik Brinksma (Speaker), Rom Langerak (Speaker)
27 Jun 1994

Activity: Talk or presentationOral presentation

Cache consistency by design

Ed Brinksma (Speaker)
7 Jul 1994

Activity: Talk or presentationOral presentation

AMAST 1993: Algebraic Methodology and Software Engineering

Ed Brinksma (Speaker)
21 Jun 1993

Activity: Talk or presentationOral presentation

On the coverage of partial validations

Ed Brinksma (Speaker)
18 Nov 1993

Activity: Talk or presentationOral presentation

A formal approach to testing concurrent systems

Hendrik Brinksma (Speaker)
20 Feb 1991

Activity: Talk or presentationOral presentation

From data structure to process structure

Hendrik Brinksma (Speaker)
12 Dec 1991

Activity: Talk or presentationOral presentation