Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

1 Résultat
authFullName_s : Tsutomu Kobayashi

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

Guillaume Dupont , Yamine Aït-Ameur , Neeraj Singh , Fuyuki Ishikawa , Tsutomu Kobayashi , et al.
22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩
Conference papers hal-03266056v1