Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

A Train to the OPERA

20260 citationsBook Chapter

Authors

Roberto Cavada · Fondazione Bruno Kessler

Alessandro Cimatti · Fondazione Bruno Kessler

Giuseppe Scaglione · Trenitalia (Italy)

Angelo Susi · Fondazione Bruno Kessler

Matteo Tessi · Trenitalia (Italy)

Topics & Keywords

Software System Performance and Reliability Model-Driven Software Engineering Techniques Formal Methods in Verification

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-032-12484-5_2

Field-Weighted Citation Impact: 0.00

A Train to the OPERA | Researchclopedia