Document - 4SECURail - Revised requirements of the 4SECURail case study

2021

Report 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

Source: ISTI Project report, 4SECURail, 2021

Metrics

Back to previous page

Cite as

BibTeX entry

@techreport{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},
	institution = {ISTI Project report, 4SECURail, 2021},
	year = {2021}
}