Documents dont l'auteur est "Legay, Axel"

Pour citer ou exporter
Grouper par: Rôle | Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Nombre de documents: 4

2018

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

2017

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

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

2015

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

Liste produite: Wed Oct 14 23:35:31 2026 EDT.