Concepedia

R.G. de Vries

RD

Statistics

Publications

2

Citations

62

H-Index

2

Active since

1998

R.G. de Vries is an author specializing in humanities, language testing, and automated reasoning.

Top concepts

Publications per year

1998–2001

2

Publications

2

Towards Formal Test Purposes

R.G. de Vries · Data Archiving and Networked Services (DANS) · 2001 · 44 citations · Full text

, , +14

On-the-Fly Conformance Testing using Spin

R.G. de Vries, G.J. Tretmans · 1998 · 18 citations

1–2 of 2