QUASAR : une réalisation du système CESAR ; description, spécification et analyse des applications réparties - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1983

QUASAR : une réalisation du système CESAR ; description, spécification et analyse des applications réparties

Résumé

Cette thèse porte sur la réalisation d'une maquette du système CESAR, système d'aide à l'analyse d'applications réparties. L'outil réalisé permet de comparer une application décrite par un programme parallèle avec ses spécifications données par un ensemble de formules d'une logique temporelle.
Fichier principal
Vignette du fichier
Schwartz.Jean-Philippe_1983_these.pdf (19.33 Mo) Télécharger le fichier

Dates et versions

tel-00308504 , version 1 (30-07-2008)

Identifiants

  • HAL Id : tel-00308504 , version 1

Citer

Jean-Philippe Schwartz. QUASAR : une réalisation du système CESAR ; description, spécification et analyse des applications réparties. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1983. Français. ⟨NNT : ⟩. ⟨tel-00308504⟩

Collections

UGA CNRS TDS-MACS
114 Consultations
48 Téléchargements

Partager

Gmail Facebook X LinkedIn More