An Improved Approach on the Model Checking for An Agent-Based Simulation System - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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

Fichier non déposé

Dates et versions

hal-03054274 , version 1 (11-12-2020)

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⟩
24 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More