Concepedia

Author

G.J. Tretmans

Also Known As

G.J. Tretmans, Jan Tretmans, Tretmans, G.J.

32

Publications

400

Citations

9

H-Index

16

Concepts

All Affiliations

GT

About

G.J. Tretmans is an author at Scientific Methods (United States) specializing in formal verification, formal methods, and software testing.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

39

2

Computer Science

2

2

27

3

Systems Engineering

2

2

29

4

Design

1

1

12

5

Process Control

1

1

17

G.J. Tretmans

×

6

Publications

256

Citations

6

H-Index

YearCitations

Page 1