Verification Series

Journal Club: Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures

22nd November 2018, 13:00 add to calender
Mete Ozbaltan

Abstract

By An et al, from ACM Transactions on Embedded Computing Systems, 15(3), 2016
add to calender (including abstract)