Concepedia

Author

Yoo Jin Lim

Korea Advanced Institute of Science and Technology

Also Known As

Yoo Jin Lim

3

Publications

17

Citations

2

H-Index

9

Concepts

All Affiliations

Korea Advanced Institute of Science and Technology
YJ

About

Yoo Jin Lim is an author at Korea Advanced Institute of Science and Technology specializing in formal verification, software engineering, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

12

2

Computer Science

1

1

12

3

Systems Engineering

1

1

12

4

Software Engineering

1

1

12

5

Formal Methods

1

1

12

Yoo Jin Lim

×

1

Publications

12

Citations

1

H-Index

YearCitations

Page 1