Hacker News new | ask | show | jobs
user: notmtaemployee
created: 2017-03-14
karma: 145

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Formal Proofs Used on the NYCT Flushing Line CBTC Project
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Key to Improving Subway Service in New York? Communications-Based Train Control
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments