Supervisory Controller Synthesis for Safe Software Adaptation

Type de document :
Communication dans un congrès
12th IFAC - IEEE International Workshop on Discrete Event Systems, WODES '14, May 2014, Paris, France
Liste complète des métadonnées

https://hal.inria.fr/hal-01091155
Contributeur : Eric Rutten <>
Soumis le : jeudi 4 décembre 2014 - 17:11:06
Dernière modification le : mercredi 11 avril 2018 - 01:52:56

Identifiants

  • HAL Id : hal-01091155, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

161