Supervisory Controller Synthesis for Safe Software Adaptation - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014
Fichier non déposé

Dates et versions

hal-01091155 , version 1 (04-12-2014)

Identifiants

  • HAL Id : hal-01091155 , version 1

Citer

Narges Khakpour, Farhad Arbab, Eric Rutten. Supervisory Controller Synthesis for Safe Software Adaptation. 12th IFAC - IEEE International Workshop on Discrete Event Systems, WODES '14, May 2014, Paris, France. ⟨hal-01091155⟩
145 Consultations
0 Téléchargements

Partager

More