External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Firmware functional validation using a Colored Petri Net model

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]

Authors

Rongyang Liu

This author has not been identified. Look up 'Rongyang Liu' in Google

José G. Delgado-Frias

This author has not been identified. Look up 'José G. Delgado-Frias' in Google

Doug Boyce

This author has not been identified. Look up 'Doug Boyce' in Google

Rahul Khanna

This author has not been identified. Look up 'Rahul Khanna' in Google
runs on