Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00517222
Contributeur : Dtn Ensieta <>
Soumis le : lundi 13 septembre 2010 - 21:38:03
Dernière modification le : vendredi 13 décembre 2019 - 10:42:05

Identifiants

  • HAL Id : hal-00517222, version 1

Citation

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⟩

Partager

Métriques

Consultations de la notice

102