Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents, An inverse method for the synthesis of timing parameters in concurrent systems
Etienne André
Documents
Savoirs
Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents, An inverse method for the synthesis of timing parameters in concurrent systems