Formal Methods for Distributed Control Systems of Future Railways

Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

58 Downloads (Pure)

Abstract

The adoption of formal methods in railway signalling has been the subject of specific tracks of past ISOLA conferences since a decade.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
PublisherSpringer
Publication date2022
Pages243-245
ISBN (Print)978-3-031-19761-1
DOIs
Publication statusPublished - 2022
Event11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Alila Resort & Spa, Rhodes, Greece
Duration: 22 Oct 202230 Oct 2022
Conference number: 11
https://www.isola-conference.org

Conference

Conference11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Number11
LocationAlila Resort & Spa
Country/TerritoryGreece
CityRhodes
Period22/10/202230/10/2022
Internet address
SeriesLecture Notes in Computer Science
Volume13704
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Formal Methods for Distributed Control Systems of Future Railways'. Together they form a unique fingerprint.

Cite this