Verification Series
Journal Club: Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures
22nd November 2018, 13:00
Mete Ozbaltan
Abstract
By An et al, from ACM Transactions on Embedded Computing Systems, 15(3), 2016
Maintained by Alexei Lisitsa