Concepedia

Author

G.J. Tretmans

Scientific Methods (United States)

Also Known As

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

32

Publications

400

Citations

9

H-Index

16

Concepts

All Affiliations

Scientific Methods (United States)
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