Login / Signup

Ten Diverse Formal Models for a CBTC Automatic Train Supervision System.

Franco MazzantiAlessio Ferrari
Published in: MARS/VPT@ETAPS (2018)
Keyphrases
  • formal models
  • rule based systems
  • process model
  • formal model
  • wide variety
  • semi automatic
  • fully automatic
  • database
  • real time
  • computer vision
  • decision trees
  • knowledge discovery
  • nearest neighbor