Vérification formelle d'un réseau sur puce : Application de DEv-Promela. - Aix-Marseille Université Access content directly
Conference Papers Year : 2021

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

Fichier principal
Vignette du fichier
AFADL2020.pdf (159.38 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03604800 , version 1 (24-04-2023)

Identifiers

  • HAL Id : hal-03604800 , version 1

Cite

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⟩
15 View
2 Download

Share

Gmail Facebook X LinkedIn More