Communication Dans Un Congrès
Année : 2024
Connectez-vous pour contacter le contributeur
https://hal.science/hal-04718381
Soumis le : mercredi 2 octobre 2024-14:52:43
Dernière modification le : lundi 23 mars 2026-09:10:02
Dates et versions
Identifiants
- HAL Id : hal-04718381 , version 1
Citer
Sawssen Khlifa, Chiheb Ameur Abid, Belhassen Zouari. Local Model Checking on a Modular System. International Conference on Control, Decision and Information Technologies, CoDIT 2024, Jul 2024, Valetta, Malta. ⟨hal-04718381⟩
Collections
43
Consultations
0
Téléchargements