基本情報
名前: yang totti
所属機関: buaa
登録日: 2026-06-30
スコア: 36
履歴書
フォロー中の会議
合計 4 件。
CCFICOREQUALIS略称正式名称投稿締切通知日開催日
CAPSECAsia-Pacific Software Engineering Conference2026-06-302026-12-07
AA*A1CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
CAB2ICSTInternational Conference on Software Testing, Verification and Validation2025-12-152026-02-202026-05-18
BBA2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2025-09-102025-11-062026-01-11
参加した会議
合計 1 件。
CCFICOREQUALIS略称正式名称開催日開催地
BBA2VMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2026-01-11Rennes, France
フォロー中のジャーナル
CCF正式名称インパクトファクター出版社ISSN
結果が得られませんでした。
フォロー中の研究者
名前所属機関登録日スコア
結果が得られませんでした。