Formal Aspects Comput.

Keyphrases

Publications

volume 35, number 1, 2023

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 Aspects Comput. 35 (1) (2023)
Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Aspects Comput. 35 (1) (2023)
Anne Elisabeth Haxthausen, Alessandro Fantechi
Compositional Verification of Railway Interlocking Systems. Formal Aspects Comput. 35 (1) (2023)
Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink
A Case in Point: Verification and Testing of a EULYNX Interface. Formal Aspects Comput. 35 (1) (2023)
Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua
A Deep Reinforcement Learning Framework with Formal Verification. Formal Aspects Comput. 35 (1) (2023)

volume 35, number 2, 2023

volume 35, number 3, 2023

volume 35, number 4, 2023

volume 34, number 1, 2022

volume 34, number 2, 2022

volume 33, number 6, 2021