Distributed computation of vector clocks in Petri net unfoldings for test selection - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2020
Fichier non déposé

Dates et versions

hal-02560296 , version 1 (01-05-2020)

Identifiants

Citer

Loïg Jezequel, Agnes Madalinski, Stefan Schwoon. Distributed computation of vector clocks in Petri net unfoldings for test selection. Discrete Event Dynamic Systems, 2020, ⟨10.1007/s10626-020-00310-4⟩. ⟨hal-02560296⟩
57 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More