HNHacker News
TopNewBestAskShowJobs

notmtaemployee

145 karma · joined March 14, 2017

submissionscomments

Formal Proofs Used on the NYCT Flushing Line CBTC Project

tools.clearsy.com·3 pts·notmtaemployee·
0

Key to Improving Subway Service in New York? Communications-Based Train Control

nytimes.com·2 pts·notmtaemployee·
0