Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques

Domaines

Intelligence artificielle [cs.AI]

Dtn Ensieta  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00517224

Soumis le : lundi 13 septembre 2010-21:38:16

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

Fichier non déposé

Dates et versions

hal-00517224 , version 1 (13-09-2010)

Identifiants

  • HAL Id : hal-00517224 , version 1

Citer

Philippe Dhaussy, Pierre-Yves Pillain, Dominique Kerjean, Stephane de Belloy, Arnaud Du Sorbier, et al.. Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques. Journée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, 2007, Brest, France. ⟨hal-00517224⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More