Exploiting local persistency for reduced state-space generation - Archive ouverte HAL
Article Dans Une Revue Innovations in Systems and Software Engineering Année : 2020

Exploiting local persistency for reduced state-space generation

Kamel Barkaoui
CEDRIC. Systèmes sûrs
Hanifa Boucheneb
  • Fonction : Auteur
École Polytechnique de Montréal
Zhiwu Li
Macau University of Science and Technology

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
Exploiting local persistency for reduced state space.pdf (246.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Kamel Barkaoui  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02590041

Soumis le : lundi 7 mars 2022-17:30:08

Dernière modification le : vendredi 19 juillet 2024-11:38:05

Archivage à long terme le : mercredi 8 juin 2022-20:59:23

Télécharger pour visualiser

Dates et versions

hal-02590041 , version 1 (07-03-2022)

Identifiants

Citer

Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li. Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, 2020, ⟨10.1007/s11334-020-00358-3⟩. ⟨hal-02590041⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM HESAM
88 Consultations
95 Téléchargements

Altmetric

Partager

More