QUASAR : une réalisation du système CESAR ; description, spécification et analyse des applications réparties - TEL - Thèses en ligne Access content directly
Theses Year : 1983

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

Abstract

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 and versions

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

Identifiers

  • HAL Id : tel-00308504 , version 1

Cite

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
111 View
47 Download

Share

Gmail Facebook Twitter LinkedIn More