Utilisation des automates temporisés pour la vérification des applications autour de l'IEC 61499 - Archive ouverte HAL
Article Dans Une Revue e-STA Sciences et Technologies de l’Automatique Année : 2004

Utilisation des automates temporisés pour la vérification des applications autour de l'IEC 61499

Katell Kervella  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00836777

Soumis le : vendredi 21 juin 2013-14:54:29

Dernière modification le : vendredi 24 mars 2023-14:52:57

Fichier non déposé

Dates et versions

hal-00836777 , version 1 (21-06-2013)

Identifiants

  • HAL Id : hal-00836777 , version 1

Citer

Marius-Petru Stanica, Hervé Guéguen. Utilisation des automates temporisés pour la vérification des applications autour de l'IEC 61499. e-STA Sciences et Technologies de l’Automatique, 2004, 1 (3). ⟨hal-00836777⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES UNIV-RENNES1 CNRS INSA-RENNES IETR SUP_ASH SUP_IETR UR1-MATH-STIC UR1-UFR-ISTIC IETR-AUT UNIV-RENNES INSA-GROUPE UR1-MATH-NUM NANTES-UNIVERSITE
68 Consultations
0 Téléchargements

Partager

More