Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. Technique et Science Informatiques, 34(5):495-521, 2015. [doi]
Abstract is missing.