Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project.

Denis Sabatier Lilian Burdy Antoine Requet Jérôme Guéry

Published in: ABZ (2012)

Keyphrases

formal proofs
project management
case study
future plans
genetic algorithm
bayesian networks
database
real time
databases
machine learning
software development
hough transform
line detection
european project