 | Monter d'un niveau |
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
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
