Skip to Main content Skip to Navigation
Conference papers

An Improved Approach on the Model Checking for An Agent-Based Simulation System

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03054274
Contributor : Vincent Cheutet Connect in order to contact the contributor
Submitted on : Friday, December 11, 2020 - 1:20:35 PM
Last modification on : Friday, March 18, 2022 - 1:14:02 PM

Identifiers

  • HAL Id : hal-03054274, version 1

Citation

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⟩

Share

Metrics

Record views

15