Acceptation du risque  Approche modulaire  B  Bpel  Bpmn  Chemins de fer -- Dispositifs de sécurité  Chemins de fer -- Trafic -- Régulation  Circulation, Technique de la  Commande, Théorie de la  Comportement dynamique  Congestion  Conteneurisation  Essais  Estimation de paramètres  Europe  Explosion combinatoire  Fiabilité  Flux de travail  Gestion d'entreprise -- Systèmes d'information  Génie logiciel  Génération de scénarios de test  Heuristique  Intelligence artificielle  Intelligence artificielle répartie  Interopérabilité ferroviaire  Intégration des systèmes  Langage et logique  Langages formels  Liapounov, Fonctions de  Liapounov, Stabilité de  Logiciels -- Développement  Logistique  Management de processus métier  Modèle -- Vérification  Modélisation formelle  Modélisation mésoscopiques  Modélisation objet UML  Modélisation tridimensionnelle  Objectifs de sécurité communs  Optimisation  Optimisation combinatoire  Optimisation globale  Optimisation mathématique  Ordonnancement  Petri, Réseaux de  Problème de Bin Packing  Programmation linéaire  Programmation logique  Programmation par contraintes  Recherche opérationnelle  Réseau de Petri  Réseaux de Petri  Réseaux de Petri Lots  Réseaux de Petri temporels  Signalisation ferroviaire  Simulation  Simulation, Méthodes de  Spécifications  Spécifications formelles  Système ERTMS  Systèmes d'aide à la décision  Systèmes dynamiques hybrides  Systèmes non linéaires  Systèmes à commutation  Systèmes à paramètres répartis  Systèmes à événements discrets  Systèmes, Conception de  Sécurité ferroviaire  Terminaux maritimes  Trafic routier  Traitement réparti  Transformation de modèles  Transport multimodal  Transports ferroviaires  UML  Vérification  Workflow  Évaluation du risque  

Pascal Yim a rédigé la thèse suivante :


Pascal Yim a dirigé les 8 thèses suivantes :

Productique, automatique et informatique industrielle
Soutenue en 1998
Thèse soutenue


Pascal Yim a été rapporteur de la thèse suivante :