ニュース / News

受賞

小林 努特任研究員、石川 冬樹准教授(ともにアーキテクチャ科学研究系)の論文が国際会議ICFEM 2018でBest Paper Awardを受賞

小林 努特任研究員、石川 冬樹准教授(ともにアーキテクチャ科学研究系)の論文が国際会議The 20th International Conference on Formal Engineering Methods(ICFEM 2018)でBest Paper Awardを受賞しました。

賞の名称

Best Paper Award

受賞論文

Analysis on Strategies of Superposition Refinement of Event-B Specifications

受賞者

小林 努(国立情報学研究所)、 石川 冬樹(国立情報学研究所)

受賞日

2018年11月14日

関連リンク
3371

注目コンテンツ / SPECIAL