Concepedia

Author

Y.K.A. Kr

Korea Advanced Institute of Science and Technology

Also Known As

Y.K.A. Kr

1

Publications

11

Citations

1

H-Index

14

Concepts

All Affiliations

Korea Advanced Institute of Science and Technology
YK

About

Y.K.A. Kr is an author at Korea Advanced Institute of Science and Technology specializing in system software, formal methods, and formal specification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

11

2

Computer Science

1

1

11

3

Systems Engineering

1

1

11

4

Software Analysis

1

1

11

5

Software Engineering

1

1

11

Y.K.A. Kr

×

1

Publications

11

Citations

1

H-Index

YearCitations

Page 1