Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Article Dans Une Revue La Revue de l'électricité et de l'électronique Année : 2007

Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique

Domaines

Intelligence artificielle [cs.AI]

Dtn Ensieta  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00517283

Soumis le : mardi 14 septembre 2010-09:18:02

Dernière modification le : lundi 14 mars 2022-11:08:06

Fichier non déposé

Dates et versions

hal-00517283 , version 1 (14-09-2010)

Identifiants

  • HAL Id : hal-00517283 , version 1

Citer

Philippe Dhaussy, Jean-Charles Roger, Hugue Bonnin, Julien Honoré. Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique. La Revue de l'électricité et de l'électronique, 2007, pp.51-59. ⟨hal-00517283⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA-BRETAGNE ENSTA-BRETAGNE-STIC
44 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More