Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Alessio Ferrari; Franco Mazzanti; Davide Basile; Maurice ter Beek

Journal title: IEEE Transactions on Software Engineering

Journal number: 15

Journal publisher: Institute of Electrical and Electronics Engineers

Published year: 2021

Published pages: n/a

DOI identifier: 10.1109/tse.2021.3124677

ISSN: 0098-5589