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

Résumé : É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
Document type :
Habilitation à diriger des recherches
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00311787
Contributor : Thèses Imag <>
Submitted on : Thursday, August 21, 2008 - 2:59:40 PM
Last modification on : Thursday, January 11, 2018 - 6:20:25 AM
Document(s) archivé(s) le : Tuesday, September 21, 2010 - 5:32:02 PM

Identifiers

  • HAL Id : tel-00311787, version 2

Collections

Citation

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-00311787v2⟩

Share

Metrics

Record views

339

Files downloads

282