DSpace Repository

Détermination des automates temporisés avec durées d'actions pour le test formel

Détermination des automates temporisés avec durées d'actions pour le test formel

Kitouni Ilhem; Saidouni Djamel-Eddine
URI: http://depot.umc.edu.dz/handle/123456789/7025
Date: 2017-01-01

Description:

84 f.

Show full item record

Files in this item

Icon
Name: KIT5323.pdf
Size: 548.8Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search DSpace


Browse

My Account