Utilisation des approches d'optimisation combinatoire pour la vérification des applications temps réel

Layeb Abdesslem; Saidouni D.E.

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

Date: 2017-01-01

Description:

208 f.

Afficher la notice complète

Fichier(s) constituant ce document

Nom: LAY5771.pdf

Taille: 5.149Mo

Format: PDF

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

Doctorat Informatique

Chercher dans le dépôt

Parcourir

Tout DSpace
Cette collection

Mon compte