Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués

Domaines

Intelligence artificielle [cs.AI]

Dtn Ensieta  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00517222

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

Dernière modification le : lundi 14 mars 2022-16:46:02

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00517222 , version 1

Citer

Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, et al.. Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués. Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne. ⟨hal-00517222⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

Gmail Facebook X LinkedIn More