Event-B : リファインメントに基づくシステム・モデリング

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会 ; 1984-の論文

日本ソフトウェア科学会 ; 1984- | 論文

• チュートリアル 『計算機科学者のためのゲーム理論入門』シリーズ(第4回)メカニズムデザイン(応用編)
• WISS 2012 注視していないことを利用したポインティング高速化手法とその評価
• パイオニア 計算機科学および計算科学の発展を考えて
• POPL2013/PEPM2013/PLMW2013報告
• 国際シンポジウムFLOPS 2012開催報告

もっと見る

スポンサーリンク