2 records found
1
Efficient formalization of railway interlocking data in RailML
Method for lean engineering design processes