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
Type de document :
HDR
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1984
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00311787
Contributeur : Thèses Imag <>
Soumis le : jeudi 21 août 2008 - 14:59:40
Dernière modification le : jeudi 11 janvier 2018 - 06:20:25
Document(s) archivé(s) le : mardi 21 septembre 2010 - 17:32:02

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

313

Téléchargements de fichiers

275