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 1 Jacques Jaray 1 Dominique Méry 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Reports
Liste complète des métadonnées

https://hal.inria.fr/inria-00099343
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:53:07 AM
Last modification on : Tuesday, April 24, 2018 - 1:34:50 PM

Identifiers

  • HAL Id : inria-00099343, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

109