PERFECT

Responsable scientifique : W. SCHON

Performing Enhanced Rail Formal Engineering Constraints Traceability : « vers la formalisation des exigences ferroviaires et leur traçabilité »