2021
Other
Open Access
4SECURail - Revised requirements of the 4SECURail case study
Mazzanti F, Belli D
Railway signaling systems Formal methods System requirements UML UMC
The final version of the system requirements of the case study used in the 4SECURail demonstrator
Metrics
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:457140,
title = {4SECURail - Revised requirements of the 4SECURail case study},
author = {Mazzanti F and Belli D},
doi = {10.5281/zenodo.5541217},
year = {2021}
}
0000-0003-1491-6450
