Published October 9, 2019 | Version v1
Dataset Open

Speadsheet data cited in Annex 2 of Deliverable 4.1 of project ASTRail

Authors/Creators

  • 1. CNR

Description

This repository contains the spreadsheet for the "Ranking Matrix" computations,
as mentioned in the Annex 2 of Deliverable 4.1 "Report on Analysis and on Ranking of Formal Methods"
of the project ASTRail (http://www.astrail.eu).

Files

README.txt

Files (116.0 kB)

Name Size
md5:114eb873d0b3007ae3f5a6c7c03acb8b
115.7 kB Download
md5:6b45f09ef1c91db43271604972316da3
220 Bytes Preview Download