News

Award

A paper by Guillaume Dupont (former NII Internship student), Assoc. Prof. ISHIKAWA Fuyuki, Researcher by Special Appoint KOBAYASHI Tsutomu and others was awarded as Best Paper Award of ICFEM 2020

Award

Best Paper Award

Award Paper Title

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

Authors of award paper

Guillaume Dupont (University of Toulouse)
Yamine Aït-Ameur (University of Toulouse)
Neeraj K. Singh (University of Toulouse)
Fuyuki Ishikawa(National Institute of Informatics)
Tsutomu Kobayashi(National Institute of Informatics / Japan Science and Technology Agency)
Marc Pantel(University of Toulouse)

Date

March 6, 2021.

Links
4735

SPECIAL