MATCH.:.Modelling and Analysis of Time Constrained and Hierarchical Systems (Human Capital and Mobility)
Contact : Yves.Dallery (at) nulllip6.frDu 19/09/1994 au 31/10/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