Sign in

Improving Verification Process in Driverless Metro Systems: The MBAT Project.

Stefano MarroneRoberto NardoneAntonio OrazzoIda PetroneLuigi Velardi
Published in: ISoLA (2) (2012)
Keyphrases
  • computer systems
  • databases
  • evolutionary algorithm
  • management system
  • distributed systems
  • software development
  • data sets
  • development process
  • design requirements