基本情報
名前: Ziran Wang
機関: Institution of Software, Chinese Academy of Sciences
登記時間: 2025-01-31
スコア: 7
CV
关注の会議
合計 1 件。
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-04-02 | 2025-07-21 |
出席の会議
合計 1 件。
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 会議日 | 場所 |
|---|---|---|---|---|---|---|
| a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2025-07-21 | Zagreb, Croatia |
关注の仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
結果が得られませんでした。 | ||||
关注の研究員
| 名前 | 機関 | 登記時間 | Score |
|---|---|---|---|
結果が得られませんでした。 | |||