Login / Signup

An industrial application of formal model based development: the Metrô Rio ATP case.

Alessio FerrariMario PapiniAlessandro FantechiDaniele Grasso
Published in: SERENE (2010)
Keyphrases
  • industrial applications
  • systems engineering
  • information processing
  • rapid development
  • real time
  • case study
  • multi agent
  • software engineering
  • data driven
  • design principles
  • formal specification
  • model free