MATCH.:.Modelling and Analysis of Time Constrained and Hierarchical Systems (Human Capital and Mobility)
Contact : Yves.Dallery (at) nulllip6.frFrom 09/19/1994 to 10/31/1997
L’objectif du projet est le développement de méthodes de vérification et d’évaluation pour des systèmes complexes intégrant des paramètres de temps. Notre contribution porte essentiellement sur les techniques d’évaluation de performances, en particulier les méthodes exactes exploitant les symétries du système et les méthodes approximatives utilisant la décomposition du modèle.
Université de Eindhoven, Université de Hambourg, Université de Turin, Université de Vienne, Université de Saragosse, Thème SRC (Girault Claude)Yves DALLERY