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.003 seconds)

Voici les éléments 1-1 de 1

1

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

Sémantique formelle des observateurs pour la validation des transformations

Baroudi, Djamila (l’Université de Mostaganem, 2022-06-27)

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
- Baroudi, Djamila (1)
Sujet
- Patrons de propriétés, Spécification des propriétés temporelles, Automates observateurs, Preuve de théorème, Validation des transformations, Navires autonom (1)
- ... View More
Date Issued
- 2022 (1)