A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yamine Aït Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander B. Romanovsky, Paulius Stankaitis. A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems. Formal Asp. Comput., 35(1), March 2023. [doi]

This author has not been identified. Look up 'Yamine Aït Ameur' in GoogleThis author has not been identified. Look up 'Sergiy Bogomolov' in GoogleThis author has not been identified. Look up 'Guillaume Dupont' in GoogleThis author has not been identified. Look up 'Alexei Iliasov' in GoogleThis author has not been identified. Look up 'Alexander B. Romanovsky' in GoogleThis author has not been identified. Look up 'Paulius Stankaitis' in Google

runs on WebDSL