Merkliste 
 1 Ergebnisse 
 
1

Deliverable D2.3-Moving Block Verification and Validation:

Saddem-Yagoubi, R ; Beugin, J ; Ghazel, M...
info:eu-repo/grantAgreement//101015416/EU/PERFORMINGRAIL/PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signaling.  , 2023