Open access dataset for "Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs"
收藏数据链接：
官方服务：
资源简介：
This article has been accepted to the Elsevier Journal of Systems Architecture.
创建时间：
2019-09-11
社区交流群
科研交流群
商业服务