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

Rob Stewart (Creator)

Dataset

Description

This article has been accepted to the Elsevier Journal of Systems Architecture.

Date made available	10 Sept 2019
Publisher	Heriot-Watt University

Contact

[email protected]

DOI
10.17861/85ff96b4-2c6b-4f58-8322-74f0ab45f684

1 Article

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)

229 Downloads (Pure)

Cite this

DataSetCite