Concepedia

Author

T. C. Wang

Kestrel Institute

Also Known As

T. C. Wang, Tianyi Wang

5

Publications

90

Citations

3

H-Index

19

Concepts

All Affiliations

Kestrel Institute
TC

About

T. C. Wang is an author at Kestrel Institute specializing in verification, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

85

2

Computer Science

2

2

85

3

Systems Engineering

2

2

85

4

Computer Engineering

1

1

74

5

Data Management

1

1

11

T. C. Wang

×

2

Publications

85

Citations

2

H-Index

YearCitations

Page 1