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
Complete list of metadatas

https://hal.inria.fr/inria-00099343
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:53:07 AM
Last modification on : Thursday, September 19, 2019 - 5:00:04 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

114