Communication Dans Un Congrès
Année : 2021
Sophie Coudert : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03322370
Soumis le : jeudi 19 août 2021-09:29:47
Dernière modification le : lundi 9 octobre 2023-12:49:44
Dates et versions
Identifiants
- HAL Id : hal-03322370 , version 1
Citer
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
23
Consultations
0
Téléchargements