Document - 4SECURail - Formal development demonstrator prototype, final release

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

Cite as

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