Définition d'un modèle de propriété et proposition d'un langage de spécification associé : LUSP

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

par Elyes Lamine

Thèse de doctorat en Automatique, traitement du signal et génie informatique

Sous la direction de Janine Magnier.

Soutenue en 2001

Titre traduit

Definition of a property model and proposition of an associated specification language : LUSP
Pas de résumé disponible.

Consulter en bibliothèque

Informations

Où se trouve cette thèse ?

Bibliothèque : Université d'Evry-Val-d'Essonne. Service commun de la documentation. Bibliothèque de l'UFR sciences et technologie.
Consultable sur place dans l'établissement demandeur
Cote : 003.3 LAM def
Bibliothèque : Bibliothèque interuniversitaire. Section Sciences.
Disponible pour le PEB
Cote : TS 2001.MON-205