Using Parallel and Distributed Reachability in Model Checking - Archive ouverte HAL
Chapitre D'ouvrage Année : 2018

Using Parallel and Distributed Reachability in Model Checking

Lamia Allal
  • Fonction : Auteur
University of Oran
Ghalem Belalem
  • Fonction : Auteur
University of Oran
Philippe Dhaussy
  • Fonction : Auteur
  • PersonId : 879133
Lab-STICC_ENSTAB_CACS_MOCS
Ciprian Teodorov
Lab-STICC_ENSTAB_ CACS_MOCS
CV

Domaines

Informatique [cs] Génie logiciel [cs.SE]

Annick Billon-Coat  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02515020

Soumis le : lundi 23 mars 2020-11:10:03

Dernière modification le : mardi 27 août 2024-12:51:40

Fichier non déposé

Dates et versions

hal-02515020 , version 1 (23-03-2020)

Identifiants

Citer

Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking. Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩. ⟨hal-02515020⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST ENSTA-BRETAGNE CNRS ENSTA-BRETAGNE-STIC LAB-STICC_UBO ENIB LAB-STICC
43 Consultations
0 Téléchargements

Altmetric

Partager

More