Zobrazeno 1 - 1
of 1
pro vyhledávání: '"621.395 072"'
Autor:
Ren, Mingming
La synthèse de contrôleurs discrets (SCD) est appliquée pour générer automatiquement des contrôleurs matériels corrects par construction. Pour un système donné (un modèle à états), et une spécification de contrôle associée (une exigenc
Externí odkaz:
http://www.theses.fr/2011ISAL0071/document
