Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B. - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport Contrat/Projet) Année : 2000

Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B.

Dominique Cansell
  • Fonction : Auteur
  • PersonId : 830170
MODEL (Méthodes formelles et applications)
Jacques Jaray
  • Fonction : Auteur
  • PersonId : 835372
MODEL (Méthodes formelles et applications)
Dominique Méry
MODEL (Méthodes formelles et applications)
CV

Résumé

Ce rapport rend compte du déroulement des travaux effectués dans le cadre d'un contrat Cifre en matière sécurité de systèmes embarqués.

Domaines

Autre [cs.OH]

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00099343

Soumis le : mardi 26 septembre 2006-08:53:07

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

Fichier non déposé

Dates et versions

inria-00099343 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099343 , version 1

Citer

Dominique Cansell, Jacques Jaray, Dominique Méry. Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B.. [Contrat] A00-R-047 || cansell00a, 2000, 34 p. ⟨inria-00099343⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA LARA
90 Consultations
0 Téléchargements

Partager

More