zenodoopen
Speadsheet data cited in Annex 2 of Deliverable 4.1 of project ASTRail
<p>This repository contains the spreadsheet for the "Ranking Matrix" computations,<br> as mentioned in the Annex 2 of Deliverable 4.1 "Report on Analysis and on Ranking of Formal Methods"<br> of the project ASTRail (http://www.astrail.eu).</p>
ShareScore
36/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0