The Metrô Rio ATP Case Study.

Alessio Ferrari Daniele Grasso Gianluca Magnani Alessandro Fantechi Matteo Tempestini

Published in: FMICS (2010)

Keyphrases

case study
automated theorem proving
software development
knowledge management
lessons learned
databases
artificial intelligence
probability distribution
data management
development process
theorem prover
problem based learning