Communication Dans Un Congrès
Année : 2020
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03054274
Soumis le : vendredi 11 décembre 2020-13:20:35
Dernière modification le : mercredi 3 septembre 2025-09:52:21
Dates et versions
Identifiants
- HAL Id : hal-03054274 , version 1
Citer
Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet. An Improved Approach on the Model Checking for An Agent-Based Simulation System. MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Montréal, Canada. ⟨hal-03054274⟩
Collections
116
Consultations
0
Téléchargements