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
Topics
Dataset details
- Repository
- zenodo
- Published
- October 8, 2019
- License
- cc-by-4.0
- DOI
- 10.5281/zenodo.3478135
Scored with release 0.9.0
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.