기본 정보
이름: Jin Liang
소속 기관: Beihang University
가입일: 2021-03-20
점수: 35
소속 기관: Beihang University
가입일: 2021-03-20
점수: 35
연구 관심 프로필
시스템 자동 생성
자주 조회하는 학회·저널로는 FM 등이 있습니다.
이력서
팔로우한 학회
모두 1 개
| CCF | ICORE | QUALIS | 약칭 | 정식 명칭 | 투고 마감 | 통보일 | 개최일 |
|---|---|---|---|---|---|---|---|
| A | B | B1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
참가한 학회
모두 1 개
| CCF | ICORE | QUALIS | 약칭 | 정식 명칭 | 개최일 | 개최지 |
|---|---|---|---|---|---|---|
| A | B | B1 | FM | International Symposium on Formal Methods | 2021-11-20 | Beijing, China |
팔로우한 저널
| CCF | 정식 명칭 | 영향력 지수 | 출판사 | ISSN |
|---|---|---|---|---|
결과가 없습니다. | ||||
팔로우한 연구자
| 이름 | 소속 기관 | 가입일 | 점수 |
|---|---|---|---|
결과가 없습니다. | |||