Synthèse automatique de systhèmes de contrôle-commande ...

Synthèse automatique de systhèmes de contrôle-commande ...

Ce processus de définition est un exercice d'abstraction et de conceptualisation permettant de produire la syntaxe abstraite du lan- gage de modélisation ...