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; 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.

Dominique Cansell ¹ Jacques Jaray ¹ Dominique Méry ¹

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.

keyword : méthodes formelles

Document type :

Reports

Domain :

Computer Science [cs] / Other [cs.OH]

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

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

Identifiers

Collections

Citation

Export

Metrics

109

Contact

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

Identifiers

Collections

Citation

Export

Share

Metrics

109

Contact