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

Search

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

Now showing items 1-1 of 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)

Now showing items 1-1 of 1

1

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

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Discover

Author
- Baroudi, Djamila (1)
Subject
- 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)