Skip to Main content Skip to Navigation
New interface
Conference papers

Vérification formelle d'un réseau sur puce : Application de DEv-Promela.

Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-03604800
Contributor : MAAMAR EL AMINE HAMRI Connect in order to contact the contributor
Submitted on : Thursday, March 10, 2022 - 4:05:36 PM
Last modification on : Friday, March 11, 2022 - 3:31:32 AM

Identifiers

  • HAL Id : hal-03604800, version 1

Collections

Citation

Abdelhak Khemiri, Aznam Yacoub, Maamar El Amine Hamri. Vérification formelle d'un réseau sur puce : Application de DEv-Promela.. ACTES DES 19ÈMES JOURNÉES SUR LES APPROCHES FORMELLES DANS L'ASSISTANCE AU DÉVELOPPEMENT DE LOGICIELS, Jun 2020, Montpellier, France. ⟨hal-03604800⟩

Share

Metrics

Record views

11