「未分類」カテゴリーアーカイブ
第74回先端ソフトウェア科学・工学に関するGRACEセミナー[12/8開催]
今回のGRACEセミナーでは,ロンドン大学の研究者2人をお招きして, 人工生命や … 続きを読む
第73回先端ソフトウェア科学・工学に関するGRACEセミナー[4/17開催]
今回は、並行プロセスの解析や検証ツールの一つとして有名なPAT(プロセス 分析ツ … 続きを読む
今回のGRACEセミナーでは,ロンドン大学の研究者2人をお招きして, 人工生命や … 続きを読む
今回は、並行プロセスの解析や検証ツールの一つとして有名なPAT(プロセス 分析ツ … 続きを読む