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
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}
}

4SECURAIL
FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR


OpenAIRE