Open AccessSynthèse de commande sûre de fonctionnement à base de contraintes logiques pour les systèmes manufacturiers
Author(s) -
Bernard Riera,
David Annebicque,
B. Vigário,
François Gellot,
Philippot Alexandre
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - computer science , philosophy