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

Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués

Philippe Dhaussy 1
1 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Type de document :
Communication dans un congrès
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01206522
Contributeur : Annick Billon-Coat <>
Soumis le : mardi 29 septembre 2015 - 11:13:58
Dernière modification le : mercredi 24 juin 2020 - 16:19:24

Identifiants

  • HAL Id : hal-01206522, version 1

Collections

CNRS | UNIV-BREST | INSTITUT-TELECOM | ENIB | LAB-STICC_ENIB | LAB-STICC | ENSTA-BRETAGNE | ENSTA-BRETAGNE-STIC

Citation

Philippe Dhaussy. Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués. JDIM’14, Jun 2014, Mostaganem, Algeria. ⟨hal-01206522⟩

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

219