Login / Signup

NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems.

Arturo AmendolaAnna BecchiRoberto CavadaAlessandro CimattiAndrea FerrandoLorenzo PilatiGiuseppe ScaglioneAlberto TacchellaMarco Zamboni
Published in: TACAS (1) (2022)
Keyphrases
  • distributed systems
  • analysis tool
  • complex systems
  • database
  • website
  • statistical analysis
  • real time
  • search engine
  • multi agent
  • image analysis
  • software development
  • learning systems
  • data acquisition
  • graphical display