An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard Chapter uri icon

publication date

  • January 1, 2018

start page

  • 353

end page

  • 366