Research output per year
Research output per year
Description
This article has been accepted to the Elsevier Journal of Systems Architecture.
| Date made available | 10 Sept 2019 |
|---|---|
| Publisher | Heriot-Watt University |
Research output
- 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 AccessFile7 Citations (Scopus)101 Downloads (Pure)