Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02545744
Contributor : souheib baarir Connect in order to contact the contributor
Submitted on : Friday, April 17, 2020 - 12:34:22 PM
Last modification on : Wednesday, September 14, 2022 - 1:58:06 PM

Identifiers

  • HAL Id : hal-02545744, version 1

Citation

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⟩

Share

Metrics

Record views

79