 | 2002 |
|---|
| 10 |       | Ronald Dekker,
Eugène Dürr,
M. Slabbertje,
Kees van der Meer:
An Electronic Archive for Academic Communities.
NDDL 2002: 1-11 |
| 9 | | Eugène Dürr,
Wim Lourens:
Programs for Ever.
NDDL 2002: 63-79 |
| 1998 |
|---|
| 8 |  | Leonor Barroca,
Eugène Dürr,
François Terrier:
Workshop on Object-Oriented Real-Time Systems.
ECOOP Workshops 1998: 502 |
| 1997 |
|---|
| 7 | | S. J. Goldsack,
Kevin Lano,
Eugène Dürr:
Specification and Refinement of Continuous Real-Time Systems.
ARTS 1997: 310-324 |
| 6 | | Leonor Barroca,
Eugène Dürr,
François Terrier:
Object-Oriented Real-Time Systems: Workshop Report.
ECOOP Workshops 1997: 433-435 |
| 5 | | Jan van Katwijk,
Eugène Dürr,
S. J. Goldsack:
Hybrid Object-Oriented Real-Time Software Development with VDM++.
ICFEM 1997: 17- |
| 1996 |
|---|
| 4 | | S. J. Goldsack,
Kevin Lano,
Eugène Dürr:
Annealing and Data Decomposition in VDM++.
SIGPLAN Notices 31(4): 32-38 (1996) |
| 1994 |
|---|
| 3 | | Eugène Dürr,
S. J. Goldsack:
Rigorous Development of Concurrent O-O Systems.
TOOLS (13) 1994: 515 |
| 1993 |
|---|
| 2 | | Eugène Dürr,
E. M. Dusink:
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System.
FME 1993: 64-72 |
| 1992 |
|---|
| 1 | | Eugène Dürr,
Jan van Katwijk:
VDM++, A Formal Specification Language for OO Designs.
TOOLS (7) 1992: 63-77 |
Data released under the ODC-BY 1.0 license — See also our legal information page