Speadsheet data cited in Annex 2 of Deliverable 4.1 of project ASTRail
收藏数据链接：
官方服务：
资源简介：
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).
提供机构：
Zenodo创建时间：
2019-10-09
