Work

On the Industrial Uptake of Formal Methods in the Railway Domain

Year: 2018

Type: conference-paper

Study design: Observational Study

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-98938-9_2

Authors: Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari

Institutions: Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", University of Florence, Sirti (Italy)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: green

Funder: European Commission

Awards: SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation, G7931553538

OpenAlex ID: W2885628182

FWCI: 7.213

Cites: 24

Cited by: 65

Related to: 10