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

Filter your results

2 Results
authFullName_s : Fuyuki Ishikawa
Image document

A Refinement Based Method for Developing Distributed Protocols

Paulius Stankaitis , Alexei Iliasov , Yamine Aït-Ameur , Tsutomou Kobayashi , Fuyuki Ishikawa , et al.
19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzhou, China. pp.90-97
Conference papers hal-02453122v1

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