Modélisation et analyse du comportement des systèmes informatiques temporisés - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 1984

Modelling and analysis of timed computer system behaviour

Modélisation et analyse du comportement des systèmes informatiques temporisés

Abstract

Étude d'un modèle mathématique pour formaliser le comportement des systèmes parallèles et temps réel, à des fins de spécification de problèmes, de description, d'analyse et de preuve de réalisations. Construction, à partir des mêmes notions, d'un calcul formel conduisant à des méthodes systématiques d'analyse de systèmes logiques temporisés, au niveau algorithmique
Fichier principal
Vignette du fichier
Halbwachs.Nicolas_1984_these.pdf (10.75 Mo) Télécharger le fichier

Dates and versions

tel-00311787 , version 1 (21-08-2008)
tel-00311787 , version 2 (21-08-2008)

Identifiers

  • HAL Id : tel-00311787 , version 1

Cite

Nicolas Halbwachs. Modélisation et analyse du comportement des systèmes informatiques temporisés. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1984. ⟨tel-00311787v1⟩
559 View
271 Download

Share

Gmail Facebook X LinkedIn More