×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
石井 大輔
Daisuke ISHII
更新日: 03/24
ホーム
研究キーワード
研究分野
経歴
受賞
論文
MISC
所属学協会
委員歴
委員歴
8
表示件数
20件
20件
50件
100件
2016年 - 現在
日本ソフトウェア科学会 ディペンダブルシステム研究会 運営委員
2015年 - 現在
日本ソフトウェア科学会 『コンピュータソフトウェア』編集委員
2015年 - 現在
電子情報通信学会 システム数理と応用研究会 専門委員
2014年 - 2019年
CyPhy Workshop PC member
2018年
NSV Workshop PC member
2016年 - 2017年
IEEE GCCE OS-ACE Co-chair
2016年
CSD&M PC member
2015年9月
湘南会議 "Validated Numerics Meets Reachability Analysis for CPS Design" オーガナイザ
メニュー
マイポータル
研究ブログ
資料公開
共著者の一覧
まだ共著者が1人も登録されていません。
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} 更新
もっとみる