Monter d'un niveau |
Cappart, Q., & Schaus, P. (juin 2017). Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables [Communication écrite]. 14th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2017), Padua, Italy. 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