Etude de la complexité de modèles de spécification et de méthodes de vérification des systèmes complexes

Saidouni D.E.; Arous Mokdad

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

Date: 2017-01-01

Description:

91 f.

Afficher la notice complète

Fichier(s) constituant ce document

Nom: ARO4858.pdf

Taille: 513.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