Filter your results
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A Refinement Based Method for Developing Distributed Protocols19th 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 Refinement22nd 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
|