Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata)

Boumaza Amel; Saidouni Djamel-Eddine

URI: http://depot.umc.edu.dz/handle/123456789/7059

Date: 2017-01-01

Description:

88 f.

Show full item record

Files in this item

Name: BOU5915.pdf

Size: 946.3Kb

Format: PDF

This item appears in the following Collection(s)

Magistère Informatique

Search DSpace

Browse

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

My Account