Communication Dans Un Congrès Année : 2024
Fichier non déposé

Dates et versions

hal-04718381 , version 1 (02-10-2024)

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

Partager

  • More