Demongodin, Isabel
VIAF ID: 208980934 ( Personal )
Permalink: http://viaf.org/viaf/208980934
Preferred Forms
-
100 1 _ ‡a Demongodin, Isabel
Works
Title | Sources |
---|---|
Analyse et optimisation d'un processus à partir d'un modèle BPMN dans une démarche globale de conception et de développement d'un processus métier : application à la dématérialisation de flux courrier du projet GOCD (PICOM) |
![]() |
Applying Formal Methods to Autonomous Vehicle Control |
![]() |
Commande des graphes d'événements temporisés sous contraintes temporelles |
![]() |
Control of timed event graphs under temporal contraints. |
![]() |
Estimation and diagnosis of partially observed Petri nets. |
![]() |
Gestion des stocks dans un réseau de distribution approvisionnement et échanges |
![]() |
Integrating a business process analysis and optimization step using BPMN model in a general process design and development approach : application to a paperless mail flow process. |
![]() |
Intrusion detection for industrial control systems. |
![]() |
Inventory management in a distribution network supply and exchanges. |
![]() |
Ordonnancement cyclique robuste appliqué à la gestion des conteneurs dans les ports maritimes de taille moyenne |
![]() |
Pilotage par approche holonique d'un système de production de vitres de sécurité feuilletées |
![]() |
Reachability Analysis of Uncertain Max Plus Linear Systems. |
![]() |
Réseaux de Petri Lots Triangulaires pour la modélisation mésoscopique et l'étude de la congestion dans le trafic routier |
![]() |
Robust cyclic scheduling applied to container management of medium sized seaport. |
![]() |
Séquences de synchronisation pour les réseaux de Petri synchronisés non bornés |
![]() |
Synchronizing sequences for unbounded synchronized Petri nets. |
![]() |
Test and diagnosis of discrete event systems using Petri nets |
![]() |
Test et diagnostic des systèmes à événements discrets par les réseaux de Petri. |
![]() |
Triangular Batches Petri Nets for mesoscopic modeling and study for congestion in traffic road. |
![]() |
Utilisation du formalisme DEVS pour la validation de comportements des systèmes à partir des scénarios UML |
![]() |