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 : mercredi 23 octobre 2024-10:30:04
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
28
Consultations
0
Téléchargements