Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification

Samir Tigane
  • Fonction : Auteur
  • PersonId : 1003430
Laboratoire d'Informatique Intelligente
Laid Kahloul
  • Fonction : Auteur
Université Mohamed Khider de Biskra
Souheib Baarir
Modélisation et Vérification
Samir Bourekkache
  • Fonction : Auteur
Laboratoire d'Informatique Intelligente

Domaines

Performance et fiabilité [cs.PF] Modélisation et simulation

souheib baarir  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02545744

Soumis le : vendredi 17 avril 2020-12:34:22

Dernière modification le : mercredi 30 octobre 2024-13:34:15

Fichier non déposé

Dates et versions

hal-02545744 , version 1 (17-04-2020)

Identifiants

  • HAL Id : hal-02545744 , version 1

Citer

Samir Tigane, Laid Kahloul, Souheib Baarir, Samir Bourekkache. Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. EAI VALUETOOLS 2020 - 13th EAI International Conference on Performance Evaluation Methodologies and Tools, May 2020, Tsukuba, Japan. ⟨hal-02545744⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 TDS-MACS SORBONNE-UNIVERSITE SU-SCIENCES
124 Consultations
0 Téléchargements

Partager

More