Catégorie Article dans une revue Auteurs Marius-Petru Stanica Herve Gueguen https://hal.science/hal-00836777v1 doc ID 836777 Nom Utilisation des automates temporisés pour la vérification des applications autour de l'IEC 61499 Date de publication ven 24/03/2023 - 12:00