Control of DES with Urgency, Avoidability and Ineluctability - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Control of DES with Urgency, Avoidability and Ineluctability

Didier Lime
STR
Olivier Henri Roux
STR
Fichier principal
Vignette du fichier
acsd2019-control-DES.pdf (324.1 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02415301 , version 1 (08-01-2021)

Identifiants

Citer

Jean-Luc Béchennec, Didier Lime, Olivier Henri Roux. Control of DES with Urgency, Avoidability and Ineluctability. 19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany. ⟨10.1109/acsd.2019.00020⟩. ⟨hal-02415301⟩
82 Consultations
84 Téléchargements

Altmetric

Partager

More