Limiting State Space Explosion of Model Checking Using Discrete Event Simulation : Combining DEVS and PROMELA - Aix-Marseille Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Limiting State Space Explosion of Model Checking Using Discrete Event Simulation : Combining DEVS and PROMELA

Domaines

Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
LIMITING-STATE-SPACE-EXPLOSION-OF-MODEL-CHECKING-USING-DISCRETE-EVENT-SIMULATION-COMBINING-DEVS-AND-PROMELA.pdf (176.9 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

MAAMAR EL AMINE HAMRI  : Connectez-vous pour contacter le contributeur

https://amu.hal.science/hal-02372283

Soumis le : samedi 7 octobre 2023-12:03:59

Dernière modification le : vendredi 22 mars 2024-18:24:04

Archivage à long terme le : lundi 8 janvier 2024-18:09:54

Télécharger pour visualiser

Dates et versions

hal-02372283 , version 1 (07-10-2023)

Identifiants

  • HAL Id : hal-02372283 , version 1

Citer

Abdelhak Khemiri, Maamar El Amine Hamri, Claudia Frydman, Jacques Pinaton. Limiting State Space Explosion of Model Checking Using Discrete Event Simulation : Combining DEVS and PROMELA. Proceedings of Computer Simulation Conference 2019, Jul 2019, Berlin, Germany. ⟨hal-02372283⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU LIS-LAB
70 Consultations
1 Téléchargements

Partager

Gmail Facebook X LinkedIn More