Une approche de raffinement et de vérification formels des communications SOC - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

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

Domains

Engineering Sciences [physics] Electronics

TelecomParis HAL  : Connect in order to contact the contributor

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

Submitted on : Sunday, December 15, 2019-12:36:05 PM

Last modification on : Tuesday, February 28, 2023-3:36:25 PM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-02411880 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

INSTITUT-TELECOM PARISTECH LTCI COMELEC LABSOC
27 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More