Communication Dans Un Congrès
Année : 2020
Vincent Cheutet : 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 : samedi 24 septembre 2022-14:28:05
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
24
Consultations
0
Téléchargements