基本情報
名前: yang totti
所属機関: Beihang University
登録日: 2026-06-30
スコア: 36
研究関心プロフィール システム自動生成

閲覧した会議やジャーナルから、この研究者は主に ソフトウェア工学 に関心があると見られます。 よく閲覧する会議・ジャーナルには VMCAI, ICST, FMCAD, CAV, PASTE などがあります。

履歴書
フォロー中の会議
合計 4 件。
CCFICORE略称正式名称投稿締切通知日開催日
CAICSTInternational Conference on Software Testing, Verification and Validation2026-11-022027-02-202027-05-17
BBVMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2026-09-162026-11-062027-01-11
CCAPSECAsia-Pacific Software Engineering Conference2026-07-202026-09-142026-12-07
AA*CAVInternational Conference on Computer Aided Verification2026-01-282026-04-172026-07-26
参加した会議
合計 1 件。
CCFICORE略称正式名称開催日開催地
BBVMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2026-01-11Rennes, France
フォロー中のジャーナル
CCF正式名称インパクトファクター出版社ISSN
結果が得られませんでした。
フォロー中の研究者
名前所属機関登録日スコア
結果が得られませんでした。