Open access dataset for "Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs"
收藏DataCite Commons2020-07-30 更新2024-07-13 收录
下载链接：
https://pureapps2.hw.ac.uk/portal/en/datasets/open-access-dataset-for-verifying-parallel-dataflow-transformations-with-model-checking-and-its-application-to-fpgas(85ff96b4-2c6b-4f58-8322-74f0ab45f684).html
下载链接
链接失效反馈官方服务：
资源简介：
This article has been accepted to the Elsevier Journal of Systems Architecture.
提供机构：
Heriot-Watt University
创建时间：
2019-09-11
