Model-Based Development and Formal Methods in the Railway Industry.
- Published in:
- IEEE Software, 2013, v. 30, n. 3, p. 28, doi. 10.1109/MS.2013.44
- By:
- Publication type:
- Article
Works matching DE "RAILROAD signal manufacturing"
Results: 3
1
2
TRAIN HEADWAY OPTIMISATION USING VIRTUAL BLOCKS.
- Published in:
- Scientific Journal of Silesian University of Technology. Series Transport / Zeszyty Naukowe Politechniki Slaskiej. Seria Transport, 2021, v. 112, p. 75, doi. 10.20858/sjsutst.2021.112.6
- By:
- Publication type:
- Article
3
European Rail Traffic Management System -- An Overview.
- Published in:
- Iraqi Journal for Electrical & Electronic Engineering, 2010, v. 6, n. 1, p. 172, doi. 10.33762/eeej.2010.54890
- By:
- Publication type:
- Article