Une approche de raffinement et de vérification formels des communications SOC

Hocine Mokrani; Rabéa Ameur-Boulifa; Emmanuelle Encrenaz-Tiphene

Communication Dans Un Congrès Année : 2012

Une approche de raffinement et de vérification formels des communications SOC

(1, 2) , (1, 2) ,

1
2

Hocine Mokrani

Fonction : Auteur
PersonId : 1408050
IdHAL : hocine-mokrani
ORCID : 0009-0002-7455-4770

System on Chip

Département Communications & Electronique

CV

Rabéa Ameur-Boulifa

Fonction : Auteur
PersonId : 180938
IdHAL : rabea-ameur-boulifa
ORCID : 0000-0002-2471-8012
IdRef : 087543664

System on Chip

Département Communications & Electronique

Emmanuelle Encrenaz-Tiphene

Fonction : Auteur

Domaines

Electronique

TelecomParis HAL : Connectez-vous pour contacter le contributeur

https://telecom-paris.hal.science/hal-02411880

Soumis le : dimanche 15 décembre 2019-12:36:05

Dernière modification le : mercredi 23 octobre 2024-10:30:04

Dates et versions

hal-02411880 , version 1 (15-12-2019)

Identifiants

HAL Id : hal-02411880 , version 1

Citer

Hocine Mokrani, Rabéa Ameur-Boulifa, Emmanuelle Encrenaz-Tiphene. Une approche de raffinement et de vérification formels des communications SOC. GDR SOC-SIP'12, Jun 2012, Paris, France. ⟨hal-02411880⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PARISTECH LTCI COMELEC LABSOC INSTITUT-MINES-TELECOM

48 Consultations

0 Téléchargements

Une approche de raffinement et de vérification formels des communications SOC

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager