Rongyang Liu, José G. Delgado-Frias, Doug Boyce, Rahul Khanna. Firmware functional validation using a Colored Petri Net model. In IEEE 60th International Midwest Symposium on Circuits and Systems, MWSCAS 2017, Boston, MA, USA, August 6-9, 2017. pages 389-392, IEEE, 2017. [doi]
Abstract is missing.