Communication Dans Un Congrès
Année : 2022
Vadim Malvone : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04336322
Soumis le : lundi 11 décembre 2023-17:11:48
Dernière modification le : mercredi 23 octobre 2024-10:30:04
Dates et versions
Identifiants
- HAL Id : hal-04336322 , version 1
Citer
Angelo Ferrando, Vadim Malvone. Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. PAAMS, Jul 2022, L'aquila, Italy. ⟨hal-04336322⟩
23
Consultations
0
Téléchargements