Concepedia

Author

D. W. Slater

Also Known As

D. Slater, D. W. Slater

7

Publications

55

Citations

2

H-Index

5

Concepts

All Affiliations

DW

About

D. W. Slater is an author at Rockwell Automation (United States) specializing in formal methods, formal verification, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

49

2

Formal Methods

1

1

49

3

Formal Verification

1

1

49

4

Reliability Engineering

1

1

49

5

Verification

1

1

49

D. W. Slater

×

1

Publications

49

Citations

1

H-Index

YearCitations

Page 1