Conference Papers
Year :
Sophie Coudert : Connect in order to contact the contributor
https://hal.science/hal-03322370
Submitted on : Thursday, August 19, 2021-9:29:47 AM
Last modification on : Tuesday, February 28, 2023-3:36:25 PM
Dates and versions
Identifiers
- HAL Id : hal-03322370 , version 1
Cite
Sophie Coudert. Proving the Safety of a Sliding Window Protocol with Event-B. International Conference on Rigorous State-Based Methods, ABZ 2021, Jun 2021, Ulm, Germany. ⟨hal-03322370⟩
Collections
18
View
0
Download