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

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

à Montpellier 2 .

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 206 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 141-153

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
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.