Vérification formelle d'un réseau sur puce : Application de DEv-Promela. - Aix-Marseille Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

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

Domaines

Modélisation et simulation Calcul formel [cs.SC]
Fichier principal
Vignette du fichier
AFADL2020.pdf (159.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

MAAMAR EL AMINE HAMRI  : Connectez-vous pour contacter le contributeur

https://amu.hal.science/hal-03604800

Soumis le : lundi 24 avril 2023-12:00:22

Dernière modification le : vendredi 22 mars 2024-18:24:04

Archivage à long terme le : mardi 25 juillet 2023-19:43:35

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-03604800 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU TDS-MACS LIS-LAB INCIAM
18 Consultations
8 Téléchargements

Partager

Gmail Facebook X LinkedIn More