Gérard Berry – Esterel et SCADE, Urgences scientifiques posées par l’industrie (3/3): masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle

29 janvier 2014 Les trois cours donnés à Sophia Antipolis sont consacrés à la relation recherche-industrie dans le développement des langages synchrones pour les systèmes temps-réels et les circuits électroniques. Chaque cours sera suivi d’un séminaire. Pour en savoir plus… Le cours du 29 janvier nous fera revenir à la…

Continue reading