 | Monter d'un niveau |
Réseau de collaborationCe graphique trace les liens entre tous les collaborateurs des publications de {} figurant sur cette page.
Chaque lien représente une collaboration sur la même publication. L'épaisseur du lien représente le nombre de collaborations.
Utilisez la molette de la souris ou les gestes de défilement pour zoomer à l'intérieur du graphique.
Vous pouvez cliquer sur les noeuds et les liens pour les mettre en surbrillance et déplacer les noeuds en les glissant.
Enfoncez la touche "Ctrl" ou la touche "⌘" en cliquant sur les noeuds pour ouvrir la liste des publications de cette personne.
Bullich, A., Boucheneb, H., & Roux, O. H. (juillet 2012). Refinement of time petri nets semantics in conflict situations [Communication écrite]. 9th International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2012), Orlando, Florida, USA. Lien externe
Cassez, F., Mullins, J., & Roux, O. H. (septembre 2007). Synthesis of Non-interferent Distributed Systems [Communication écrite]. 4th International Conference on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS07), St-Petersburg, Russie. Lien externe
Gardey, G., Mullins, J., & Roux, O. H. (août 2005). Non-interference control synthesis for security timed automata [Communication écrite]. 4th Workshop on Security Issues in Concurrency (SecCO 2005), San Francisco, CA. Publié dans Electronic Notes in Theoretical Computer Science, 180(1). Lien externe
Rakkay, H., Boucheneb, H., & Roux, O. H. (juillet 2009). Time arc Petri nets and their analysis [Communication écrite]. 9th International Conference on Application of Concurrency to System Design, Augsburg, Germany. Lien externe
Rakkay, H., Boucheneb, H., & Roux, O. H. (octobre 2007). Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte [Communication écrite]. 6e Colloque francophone sur la modélisation des systèmes réactifs. Non disponible
