Concepedia

Author

Yang Meng Tan

Advanced Research Projects Agency - Energy

Also Known As

Yang Meng Tan, Yang Tan

26

Publications

415

Citations

7

H-Index

16

Concepts

All Affiliations

Advanced Research Projects Agency - Energy
YM

About

Yang Meng Tan is an author at Advanced Research Projects Agency - Energy specializing in formal verification, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

268

2

Computer Science

2

2

268

3

Software Analysis

2

2

268

4

Systems Engineering

1

1

68

5

Process Control

1

1

68

Yang Meng Tan

×

4

Publications

353

Citations

4

H-Index

YearCitations

Page 1