ニュース / News

受賞

Guillaume Dupontさん(元NIIインターン生)、石川 冬樹 准教授、小林 努 特任研究員(ともにアーキテクチャ科学研究系)らの論文がThe 22nd International Conference on Formal Engineering Methods(Virtual)にてBest Paper Awardを受賞

賞の名称

ICFEM 2020 Best Paper Award

受賞論文タイトル

"Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement"

受賞者

Guillaume Dupont (University of Toulouse)
Yamine Aït-Ameur (University of Toulouse)
Neeraj K. Singh (University of Toulouse)
石川 冬樹(国立情報学研究所)
小林 努(国立情報学研究所/科学技術振興機構)
Marc Pantel(University of Toulouse)

授与団体・学会

The 22nd International Conference on Formal Engineering Methods(Virtual)

受賞日

2021年3月6日

関連リンク
4725

注目コンテンツ / SPECIAL