Statistical Model Checking for On-board Train Integrity Safety and Performance Analysis

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: Insaf Sassi, Mohamed Ghaze, El-Miloudi El-Koursi

Journal publisher: RESEARCH PUBLISHING, SINGAPORE

Published year: 2022

DOI identifier: 10.3850/978-981-18-5183-4_s06-10-294-cd

ISBN: 978-981-18-5183-4