Concepedia

Author

Remco van Engelen

Japan External Trade Organization

Also Known As

R. van Engelen, Remco van Engelen

5

Publications

268

Citations

4

H-Index

16

Concepts

All Affiliations

Japan External Trade Organization
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