• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.

Arturo AmendolaAnna BecchiRoberto CavadaAlessandro CimattiAlberto GriggioGiuseppe ScaglioneAngelo SusiAlberto TacchellaMatteo Tessi
Published in: ISoLA (3) (2020)
Keyphrases
  • design process
  • genetic algorithm
  • decision making
  • model checking
  • optimal design
  • design space
  • functional verification
  • design principles
  • design tools
  • signature verification
  • formal verification