Sign in

A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems.

Yamine Aït-AmeurSergiy BogomolovGuillaume DupontAlexei IliasovAlexander B. RomanovskyPaulius Stankaitis
Published in: Formal Aspects Comput. (2023)
Keyphrases
  • cyber physical
  • intelligent systems
  • information processing
  • software engineering
  • data collection
  • communication technologies
  • physical world