Proving the Safety of a Sliding Window Protocol with Event-B - Archive ouverte HAL Access content directly
Conference Papers Year :

Proving the Safety of a Sliding Window Protocol with Event-B

Not file

Dates and versions

hal-03322370 , version 1 (19-08-2021)

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⟩
18 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More