Sanae El Mimouni, Mohamed Bouhdadi. Applying Event-B Refinement to the Sliding Window Protocol. In Christian Plessl, Didier El Baz, Guojing Cong, João M. P. Cardoso, Luís Veiga, Thomas Rauber, editors, 18th IEEE International Conference on Computational Science and Engineering, CSE 2015, Porto, Portugal, October 21-23, 2015. pages 58-65, IEEE, 2015. [doi]
Abstract is missing.