Model checking of reconfigurable FPGA modules specified by Petri nets
Article in Journal of Systems Architecture (September 2018)
The most recent citing publications are shown below. View all 26 publications that cite this research output on Dimensions.
Article in Journal of Systems Architecture (September 2018)
Monograph in Intelligent Systems Reference Library (January 2018)
Article in IEEE Transactions on Systems Man and Cybernetics Systems (October 2017)