 | 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.
Cappart, Q., Limbrée, C., Schaus, P., Quilbeuf, J., Traonouez, L.-M., & Legay, A. (janvier 2017). Verification of Interlocking Systems Using Statistical Model Checking [Communication écrite]. 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017), Singapore. Lien externe
Cappart, Q., Limbrée, C., Schaus, P., & Legay, A. (octobre 2015). Verification by discrete simulation of interlocking systems [Communication écrite]. 29th European Simulation and Modelling Conference, Leicester, United Kingdom. Lien externe
Boulahia Cuppens, N., Cuppens, F., Lanet, J.-L., Legay, A., & García-Alfaro, J. (édit.) (2018). 12th International Conference on Risks and Security of Internet and Systems (CRiSIS 2017), Dinard, France. Lien externe
Cuppens, F., Boulahia Cuppens, N., Lanet, J.-L., & Legay, A. (édit.) (2017). 11th International Conference on Risks and Security of Internet and Systems (CRiSIS 2016), Roscoff, France. Lien externe
