Concepedia

Author

Remco van Engelen

Also Known As

R. van Engelen, Remco van Engelen

5

Publications

268

Citations

4

H-Index

16

Concepts

All Affiliations

RV

About

Remco van Engelen is an author at Japan External Trade Organization specializing in formal verification, software engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

257

2

Computer Engineering

2

2

257

3

Computer Science

2

2

257

4

Systems Engineering

2

2

257

5

Software Analysis

2

2

257

Remco van Engelen

×

2

Publications

257

Citations

2

H-Index

YearCitations

Page 1