2021
Report  Open Access

4SECURail - Formal development demonstrator prototype, final release

Mazzanti F., Belli D.

4securail  Formal methods  Requirements specification  standard interfaces 

This Deliverable describes the final results of Task 2.3 of 4SECURail project. The goal of Task 2.3 is to apply the formal development demonstrator process defined in Task 2.1 to the signalling case study defined in Task 2.2 and to describe the observed impact of the selected tools and methodologies for improving the quality of the system specifications under analysis.

Source: ISTI Project report, 4SECURail, 2021



Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:457632,
	title = {4SECURail - Formal development demonstrator prototype, final release},
	author = {Mazzanti F. and Belli D.},
	institution = {ISTI Project report, 4SECURail, 2021},
	year = {2021}
}

4SECURAIL
FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR


OpenAIRE