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 .

  • Titre traduit

    Definition of a property model and proposition of an associated specification language : LUSP


  • Pas de résumé disponible.

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\u00a0?

  • 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 universitaire Sciences et techniques (Montpellier).
  • Disponible pour le PEB
  • Cote : TS 2001.MON-205

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2001MON20205
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.