Specification and verification of the model of component and the model of function - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Studies in Informatics and Control Année : 2008

Specification and verification of the model of component and the model of function

Nadia Hamani
Nathalie Dangoumau
  • Fonction : Auteur
Systèmes Tolérants aux Fautes
Etienne Craye
  • Fonction : Auteur
Systèmes Tolérants aux Fautes

Domaines

Automatique / Robotique

Vincent Cocquempot  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00837896

Soumis le : lundi 24 juin 2013-14:36:07

Dernière modification le : mercredi 24 janvier 2024-09:54:22

Fichier non déposé

Dates et versions

hal-00837896 , version 1 (24-06-2013)

Identifiants

  • HAL Id : hal-00837896 , version 1

Citer

Nadia Hamani, Nathalie Dangoumau, Etienne Craye. Specification and verification of the model of component and the model of function. Studies in Informatics and Control, 2008, 17 (1), pp.27-42. ⟨hal-00837896⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS CRISTAL TDS-MACS UNIV-LILLE
54 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More