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

Robert James Stewart (Creator)

Dataset

1 Article

1 results

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 Citations (Scopus)

104 Downloads (Pure)