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 : mardi 17 septembre 2024-15:48:47
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
25
Consultations
0
Téléchargements