Accueil de DSpace
→
Thèses de doctorat
→
Thèses de doctorat ( LMD )
→
Mathématiques et Informatique - رياضيات والاعلام الآلي
→
Recherche

Recherche

Filters

Use filters to refine the search results.

Current Filters:




New Filters:

Showing 1 out of a total of 1 results for collection: Mathématiques et Informatique - رياضيات والاعلام الآلي. (0.009 seconds)

Voici les éléments 1-1 de 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

FORMALISATION DES PROPRIETES DE SECURITE DES OBSERVATEURS POUR LA VALIDATION DES TRANSFORMATIONS

KRAKALLAH, Mohammed Walid (l’Université de Mostaganem, 2022-06-29)

Voici les éléments 1-1 de 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Parcourir

Tout DSpace
Cette collection

Mon compte

Discover

Auteur
- KRAKALLAH, Mohammed Walid (1)
Sujet
- Contrôle d'accès, Automate observateur, UACML, E-UACML, Fiacre, OBP/CDL, Méthodes formelles, Model-checking (1)
- ... View More
Date Issued
- 2022 (1)