Distributed computation of vector clocks in Petri net unfoldings for test selection - Archive ouverte HAL
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2020

Distributed computation of vector clocks in Petri net unfoldings for test selection

Domaines

Informatique [cs]

Loïg Jezequel  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02560296

Soumis le : vendredi 1 mai 2020-12:59:09

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES UNIV-RENNES1 CNRS ENS-CACHAN EC-NANTES IRISA UNAM UR1-MATH-STIC LS2N LS2N-STR UNIV-PARIS-SACLAY UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF NANTES-UNIVERSITE
66 Consultations
0 Téléchargements

Altmetric

Partager

More