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

Abdelhak Khemiri; Aznam Yacoub; Maamar El Amine Hamri

Conference Papers Year : 2021

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

, , (1, 2)

1
2

Abdelhak Khemiri

Function : Author

Aznam Yacoub

Function : Author
PersonId : 184360
IdHAL : aznam-yacoub
ORCID : 0000-0002-3898-9542

Maamar El Amine Hamri

Function : Author
PersonId : 1036804

Modèles et Formalismes à Evénements Discrets

Laboratoire d'Informatique et Systèmes

Domains

Computer Science [cs] Modeling and Simulation Computer Science [cs] Symbolic Computation [cs.SC]

MAAMAR EL AMINE HAMRI : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-03604800

Submitted on : Thursday, March 10, 2022-4:05:36 PM

Last modification on : Friday, March 24, 2023-2:53:26 PM

Dates and versions

hal-03604800 , version 1 (10-03-2022)

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share