Rongyang Liu, José G. Delgado-Frias, Doug Boyce, Rahul Khanna. A real-time UEFI functional validation tool with behavior Colored Petri Net model. In IEEE 59th International Midwest Symposium on Circuits and Systems, MWSCAS 2016, Abu Dhabi, United Arab Emirates, October 16-19, 2016. pages 1-4, IEEE, 2016. [doi]
Abstract is missing.