Return to search

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

É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

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00311787
Date08 June 1984
CreatorsHalbwachs, Nicolas
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
Typehabilitation ࠤiriger des recherches

Page generated in 0.0019 seconds