Concepedia

Eugène Dürr

ED

3

Publications

123

Citations

3

H-Index

1992

Active since

Affiliations

Utrecht University(Current)

Eugène Dürr is an author at Utrecht University specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringDesignFormal MethodsSoftware DesignProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringBusinessLogistics

Publications per year

1992–2003

3

Publications

3

VDM++, a formal specification language for object-oriented designs

Eugène Dürr, J. van Katwijk · 2003 · 76 citations

Engineering, Software Engineering, Software Analysis +18

VDM++: a formal specification language for object-oriented designs

Eugène Dürr, J. van Katwijk · Technology of Object-Oriented Languages and Systems · 1992 · 27 citations

Specification Language, Engineering, Program Analysis +9

SITS: a system for uniform intermodal freight transport information exchange

Eugène Dürr · International Journal of Transport Management · 2003 · 20 citations

Engineering, Uniform Intermodal, Transport Logistic +16

Rows per page

1–3 of 3