Debugging Paxos in the UML Multiverse - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023
Fichier non déposé

Dates et versions

hal-04234688 , version 1 (10-10-2023)

Identifiants

  • HAL Id : hal-04234688 , version 1

Citer

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec. Debugging Paxos in the UML Multiverse. MODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden. ⟨hal-04234688⟩
165 Consultations
0 Téléchargements

Partager

More