OnTrack: Reflecting on domain specific formal methods for railway designs

Date first appeared online	15/11/2023
DOI	10.1016/j.scico.2023.103057
Authors	James P., Moller F., Pantekis F.
Journal Name	Science of Computer Programming
Volume	233

Documents

• 65127_FPantekis_VOR.pdf , Book, This is an open access article distributed under the terms of the Creative Commons CC-BY license, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.