Open access dataset for "Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs"

Rob Stewart (Creator)

Dataset

1 results

Filter

2019
Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs
Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., Dec 2019, In: Journal of Systems Architecture. 101, 101657.
Research output: Contribution to journal › Article › peer-review

Open Access
File
7 Link opens in a new tab Citations (Scopus)

200 Downloads (Pure)