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.

Afficher la notice complète

Fichier(s) constituant ce document

Nom: KIT5323.pdf

Taille: 548.8Ko

Format: PDF

Ce document figure dans la(les) collection(s) suivante(s)

Magistère Informatique

Chercher dans le dépôt

Parcourir

Tout DSpace
Cette collection

Mon compte