「研究」カテゴリーアーカイブ
第73回先端ソフトウェア科学・工学に関するGRACEセミナー[4/17開催]
今回は、並行プロセスの解析や検証ツールの一つとして有名なPAT(プロセス 分析ツ … 続きを読む
第69回先端ソフトウェア科学・工学に関するGRACEセミナー[9/25開催]
今回は、SEIの研究者でありセキュアコーディングを推進している David Ke … 続きを読む
第68回先端ソフトウェア科学・工学に関するGRACEセミナー[9/6開催]
今回のGRACEセミナーでは,トップレベルの研究者2名の方に, 自己適応に関する … 続きを読む
第67回先端ソフトウェア科学・工学に関するGRACEセミナー[4/4開催]
今回のGRACEセミナーでは,ロンドン大学の 研究者二人をお招きして,人工生命や … 続きを読む
第66回先端ソフトウェア科学・工学に関するGRACEセミナー[3/18開催]
今回のGRACEセミナーでは,上海交通大学のJianjun Zhao教授をお招き … 続きを読む
第65回先端ソフトウェア科学・工学に関するGRACEセミナー[2/7開催]
この程、形式手法で世界のトッププラスの会議(CAV, FMなど)に多数の研究を発 … 続きを読む
第64回先端ソフトウェア科学・工学に関するGRACEセミナー[1/21開催]
日時:2013年1月21日(月)14:00-15:30 場所:国立情報学研究所( … 続きを読む
第63回先端ソフトウェア科学・工学に関するGRACEセミナー[12/12開催]
日時:2012年12月12日(水)10:00-11:00 場所:国立情報学研究所 … 続きを読む
第62回先端ソフトウェア科学・工学に関するGRACEセミナー[11/30開催]
日時:2012年11月30日(金)15:00-16:00 場所:国立情報学研究所 … 続きを読む
第61回先端ソフトウェア科学・工学に関するGRACEセミナー[10/31開催]
日時:2012年10月31日(水)16:00-18:00 場所:国立情報学研究所 … 続きを読む